let
iter_nodes f cfg =
CFG
.iter_vertex f (cfg.graph)