let compare_bound ival_compare_bound l1 l2 = try let f1 = project_ival l1 in let f2 = project_ival l2 in ival_compare_bound f1 f2 with Not_based_on_null -> assert false