let
iter_nodes f pdg =
G
.iter_vertex f (get_graph pdg)