let pretty ?(bw=false) fmt pdg =
    let kf = PdgTypes.Pdg.get_kf pdg in
    Format.fprintf fmt "@[RESULT for %s:@]@\n@[%a@]"
      (Kernel_function.get_name kf) (Print.pretty_pdg ~bw) pdg