sig
  val generate : Cil_types.fundec -> unit
  val clear : unit -> unit
  val delete_vars : Cil_types.stmt -> Cil_datatype.Varinfo.Set.t
  val store_vars : Cil_types.stmt -> Cil_datatype.Varinfo.Set.t
end