for I being Instruction of SCM+FSA st I = [0,{},{}] holds
I is halting by Th70, AMI_3:26;