for aa, bb, cc being Int-Location st aa <> bb holds
not cc := bb refers aa