Class SwitchReplacer.NodesReachedUntil