sig
val function_init_name : string
val function_clean_name : string
val reset : unit -> unit
val is_empty : unit -> bool
val add : Cil_types.varinfo -> unit
val add_initializer :
Cil_types.varinfo -> Cil_types.offset -> Cil_types.init -> unit
val mk_init_function : unit -> Cil_types.varinfo * Cil_types.fundec
val mk_clean_function :
unit -> (Cil_types.varinfo * Cil_types.fundec) option
end