Actually fixed production numbering

Using CUPs generated nonterminal production number assignment (refer to sym.java)