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

[Balazs Benics via llvm-commits]

steakhal wrote:

> I don't know really, I just noticed that main suddenly broke for us and bisected to this patch.

If after the second patch the tests pass then I'm contemplated to say I'd go for upgrading Z3 requirements to 4.8.9, and accept that with my first commit would have failed the CI/tests with an old Z3.
On my system, all `StaticAnalysisTests` pass with 4.8.9 on `main`.
Are you okay with upgrading Z3 to at least 4.8.9 or preferably to latest (4.13.0)?

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