theorem Th9: :: SCMFSA_I:9

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