[clang] [clang][analyzer] Correct SMT Layer for _BitInt cases refutations (PR #143310)

[via cfe-commits]

vabridgers wrote:

Thanks @NagyDonat and @steakhal for the useful comments. I think all have been resolved at this point. If I've missed something I'll address. Best.

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