let compute kf =
  let pdg = Build.compute_pdg kf in
      (* Annot.add_annotations kf pdg; *)
  pdg