Fix some logic in unresolved_branch_takes_same_decision.