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

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat approved this pull request.

LGTM. (Didn't try executing it, but the code is reasonable.)

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