theorem Th44: :: SF_MASTR:44

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