sig val compute_pdg : Cil_types.kernel_function -> PdgTypes.Pdg.t end