04: nonterminals updated due to "empty_statemets"