JumpPart (halt SCM+FSA) = {} ;