for T being InsType of the InstructionsF of Trivial-COM holds JumpParts T = {0}