avoiding modification to Successors during enumeration