let pretty_debug fmt x = Unhashconsed_Int_Intervals.pretty fmt x.v