let is_included_exn x y =
    Unhashconsed_Int_Intervals.is_included_exn x.v y.v