let pretty_pdg ?(bw=false) fmt pdg =
try
let graph = PdgTypes.InternalPdg.get_graph pdg in
pretty_pdg_graph ~bw fmt graph;
with PdgTypes.Pdg.Top -> Format.fprintf fmt "Top PDG@."
| PdgTypes.Pdg.Bottom -> Format.fprintf fmt "Bottom PDG@."