Some improvement in same_branch_taken_processing.