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