better debuggin by showing nonterminal names