Emit the production-rule-index -> symbolic-nonterminal-name mapping function based on taggedGrammar instead of processedSpec.