GrammarSlot.toString shows the rewritten nonterminals correctly.