[clang] [analyzer] Uplift UnSatAtErrorNodeDueToRefinedConstraint test after smarter range inference (PR #209443)

[Bevin Hansson via cfe-commits]

https://github.com/bevin-hansson commented:

Looks good to me, but I should not be the one to give final approval.

https://github.com/llvm/llvm-project/pull/209443