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