Added printing of reduction sequence

The production numbers are internally labeled in the Sym.java file