WyRL: updated the oneStepUndo function to including all rewrites upto a given point.