let pretty_bw ?(bw=false) fmt pdg = try let graph = get_graph pdg in pretty_graph ~bw fmt graph; with | Top -> Format.fprintf fmt "Top PDG@." | Bottom -> Format.fprintf fmt "Bottom PDG@."