sig
  val store :
    ?before:Cil_types.stmt ->
    Env.t -> Cil_types.kernel_function -> Cil_types.varinfo list -> Env.t
  val duplicate_store :
    ?before:Cil_types.stmt ->
    Env.t -> Cil_types.kernel_function -> Cil_datatype.Varinfo.Set.t -> Env.t
  val delete_from_list :
    ?before:Cil_types.stmt ->
    Env.t -> Cil_types.kernel_function -> Cil_types.varinfo list -> Env.t
  val delete_from_set :
    ?before:Cil_types.stmt ->
    Env.t -> Cil_types.kernel_function -> Cil_datatype.Varinfo.Set.t -> Env.t
end