Added removeDomain and removeComplement. Used those to fix XeqY notSatisfied function