for i being Instruction of SCM+FSA holds UsedI*Loc (Macro i) = UsedInt*Loc i