Picking a deterministic order in which the inames are removed is *necessary* to ensure that the left over domain is the same across interpreter runs.
