let edge_type e = !(CFG.E.label e)