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

[Balázs Benics via cfe-commits]

steakhal wrote:

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

You could apply this and see if it resolves for you. I did for me though and the reasoning is pretty solid.

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