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

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat commented:

The approach of the commit seems to be good. If the tests are passing with this commit, while they were crashing without it, then I don't see any significant obstacles.

I added a few nitpicks in inline comments, please have a look at them.

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