a test case to remind us to support undef on the LHS

Wouldn't this be undef as well? For any given x and y a bit pattern can be chosen for the undef on line 10 that would make this either true or false. So we can expect this to simplify to both true and false, and as far as I know we cannot represent that in the checker.