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