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