theorem Th4: :: SCMFSA9A:4

UsedI*Loc (Stop SCM+FSA) = {}