theorem :: SCMFSA_2:18

for a, b being Int-Location holds InsCode (a := b) = 1