end_spending ();
rc,already_contained
+(* profiling code
let profiler_eq = HExtlib.profile "CicUniv.add_eq"
let profiler_ge = HExtlib.profile "CicUniv.add_ge"
let profiler_gt = HExtlib.profile "CicUniv.add_gt"
profiler_ge.HExtlib.profile (fun _ -> add_ge ?fast u v b) ()
let add_eq ?fast u v b =
profiler_eq.HExtlib.profile (fun _ -> add_eq ?fast u v b) ()
+*)
(*****************************************************************************)
(** END: Decomment this for performance comparisons **)