Symbol: is_offset_in_cond_branch_range