theorem Th8: :: SCMFSA_I:8

for T being InsType of SCM+FSA-Instr st ( T = 9 or T = 10 ) holds
JumpParts T = {{}}