sig
  val computeFileCFG : Cil_types.file -> unit
  val clearFileCFG : ?clear_id:bool -> Cil_types.file -> unit
  val cfgFun : Cil_types.fundec -> unit
  val clearCFGinfo : ?clear_id:bool -> Cil_types.fundec -> unit
  val printCfgChannel : Format.formatter -> Cil_types.fundec -> unit
  val printCfgFilename : string -> Cil_types.fundec -> unit
  val prepareCFG : ?keepSwitch:bool -> Cil_types.fundec -> unit
  val computeCFGInfo : Cil_types.fundec -> bool -> unit
  val clear_sid_info_ref : (unit -> unit) Pervasives.ref
end