add nonterminals if-else-clause et al.