modify pushToken method of parser to reduce an nonterminal