theorem Th3: :: SCMFSA9A:3

UsedILoc (Stop SCM+FSA) = {} by Th1, SF_MASTR:13;