Symbol: is_branch_ins