All our stacks, and there are quite a few in both PState and UState, should be checked via Assert.invariant at the end of parse/unparse to be sure they are empty.