theorem :: SCMFSA10:20

for T being InsType of the InstructionsF of SCM+FSA st T = 3 holds
JumpParts T = {{}}