The produced parse tree has correct nonterminal labels.