SCM-Instr c= SCM+FSA-Instr