more tests
assert that a mite group isn't xor-ed with its proper subset