let fold_nodes f cfg acc = CFG.fold_vertex f (cfg.graph) acc