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

[via cfe-commits]

vabridgers wrote:

Thanks for the catching the unresolved issues. I think they're all resolved at this point. Please let me know otherwise.

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