let pretty fmt pdg = Print.pretty_pdg_graph fmt (graph pdg)