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