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

[Mikael Holmén via cfe-commits]

mikaelholmen wrote:

With the next patch eacc3b3504be061 it fails on rlimit for me, but on this patch it's on timeout.


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