Symbol: instr_is_branch_iform