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
end