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