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