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