Method nonterminal can not be removed by Cfg.optimize(). This was not a problem
as it stands but it might easily become one if other simplifications are
implemented.