sig
  val has_debug : int -> bool
  val debug : int -> ('a, Format.formatter, unit) format -> 'a
  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