for I being Instruction of SCM+FSA st InsCode I = 0 holds
I = [0,{},{}]