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