theorem Th28: :: SF_MASTR:28

for i being Instruction of SCM+FSA holds UsedILoc (Macro i) = UsedIntLoc i