Reimplement `getAllExtSet` and `getConstantSet` using `Data.IntSet`.
Reimplement `getAllExtSet` and `getConstantSet` using `Data.IntSet`.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script