let is_included x y =
    Unhashconsed_Int_Intervals.is_included x.v y.v