Turning IntDomains into SortedSets. WIP.