for a, b being Int-Location holds not a := b is halting ;