halt SCM = halt SCM+FSA ;