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

[Bevin Hansson via cfe-commits]

bevin-hansson 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.

I applied it and it works for me too. Thanks!

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