let inject_bounds b e =
    wrap (Unhashconsed_Int_Intervals.inject_bounds b e)