Unfolding ...
Has (infix search): 960?: Y. Processed 97 nodes.
Has (infix search): -1?: N. Processed 99 nodes.