let project_set x = match x.v with Unhashconsed_Int_Intervals.Top -> raise Not_a_set | Unhashconsed_Int_Intervals.Set s -> s