let intersects x y =
    Unhashconsed_Int_Intervals.intersects x.v y.v