context

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