[clang] [llvm] Reland "[analyzer][NFC] Reorganize Z3 report refutation" (PR #97265)

[Balazs Benics via cfe-commits]

steakhal wrote:

This was already reviewed and approved in the past. The content is identical to that one.

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