let iter_edges_e f (g, _f) = CFG.iter_edges_e f g