theorem :: SCMFSA_2:19
for a, b being Int-Location holds InsCode (AddTo (a,b)) = 2