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