Description:
By comparing the masks of the operands, it comes to the conclusion that operands
of == or != operations can be equal only when both of them are zero.
This situation is detected.
Example:
public boolean foo(int x, int y) {
return ((x & 1) == y*2); // will be true only for x=y=0
}