Remove an ALWAYS() that can sometimes be false. Add a test case that makes

the test false.

FossilOrigin-Name: c8fb143d64d8e823684cd26799080da4b42bef121ca3c6315b1803a593490926