Lines Matching full:pushed
1592 have just been pushed. So pushing a state here evens the stacks. */1696 /* Restoring the pushed token is only necessary for the first
