/* First reduce the nonterminals, as they renumber themselves in the
whole grammar. If you change the order, nonterms would be
/* First reduce the nonterminals, as they renumber themselves in the
whole grammar. If you change the order, nonterms would be