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 prepareCFG : ?keepSwitch:bool -> Cil_types.fundec -> unit   val clear_sid_info_ref : (unit -> unit) Pervasives.ref end