sig val cfg : ?with_bot:bool -> Fol.decl list -> Cil2cfg.t -> WpAnnot.t -> Fol.decl list * (Format.formatter -> Cil2cfg.CFG.E.t -> unit) val add_glob_decls : Fol.decl list -> Fol.decl list end