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