secedges are now added also for nonterminals