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