[clang] [llvm] [analyzer][NFC] Reorganize Z3 report refutation (PR #95128)

[Balazs Benics via llvm-commits]

steakhal wrote:

>From the logs you sent, its not clear to me which statianalyzer test fails. Could you point me to an exact gtest or file linenumber pair?

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