theorem :: SCMFSA_2:80

for a, b being Int-Location holds not AddTo (a,b) is halting ;