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
end