let iter_vertex f (g, _) = CFG.iter_vertex f g