let get_graph pdg = let pdg = get_pdg_body pdg in  pdg.graph