let plus_interval_interval a b =
    match a , b with
      | ({ F.sup=None ; F.inf=None } as top) , _
      | _ , ({ F.sup=None ; F.inf=None } as top) -> Interval top
      | _ -> Set (F.add_set (F.interval a) (F.interval b))