theorem :: AMI_6:8

for T being InsType of the InstructionsF of SCM st T = 5 holds
JumpParts T = {{}}