Constraint for 32 bit addr to be different than prev addr by 2 bits

In reply to n347:

The binary XOR operator is bitwise so it returns a 32-bits value.