for I being Instruction of SCM+FSA holds InsCode I <= 12