theorem Th44: :: SCMFSA8C:53

for J being Program of SCM+FSA
for i being Instruction of SCM+FSA
for a being Int-Location st not i destroys a & not J destroys a holds
not i ";" J destroys a