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