sig
  val clear : unit -> unit
  val add : Cil_types.logic_var -> t -> unit
  val remove : Cil_types.logic_var -> unit
  val replace : Cil_types.logic_var -> t -> unit
end