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