Symbol: decode_branch_type