for a being Int-Location holds not halt SCM+FSA refers a ;