Combine assertion with invariant checking. Continuing after invalid
invariant does not make sense.
Simplify invariant assertions.
Eliminate values from and add to group impacting all squares.
Safe eliminate to remove values only if they are in the set.
Unsafe since invariant is not checked :(