theorem Th2: :: AMI_6:2

JumpPart (halt SCM) = {} ;