let inject i =
    wrap (Unhashconsed_Int_Intervals.inject i)