for R being Ring
for I being Instruction of (SCM R) st I = [0,{},{}] holds
I is halting