sig val bug : string -> 'a val cbug : bool -> string -> unit val pretty_node : Format.formatter -> PdgTypes.Node.t -> unit val get_pdg_kf : PdgTypes.Pdg.t -> Kernel_function.t val pdg_name : PdgTypes.Pdg.t -> string end