the instruction branch type, only valid when the category equal to CONTROL_TRANSFER.
See Implementation
the instruction branch type, only valid when the category equal to CONTROL_TRANSFER.