SContext

Grammar SContext coinciding with "push" and "pop" in the specification.