Class TraversalSideEffectStep<S>