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