Why do you think these tests are invalid? This looks like a change in behavior that should probably be discussed on the list. In order to have equality, I think you would need to argue that x and y behave the same in all circumstances.