Positions now travel with each strategy in its folder bucket instead of
in a map keyed by the strategy, so a strategy listed twice keeps both of
its places, as the full scan did. The equivalence test now includes a
strategy listed twice and an explicit parent cycle.