Made IntDomain a SortedSet again