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

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat commented:

Thanks for the updates! I added a few more style nitpicks, but overall LGTM.

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