theorem :: AMI_6:5

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