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