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

[Balazs Benics via cfe-commits]

steakhal wrote:

> Hi @steakhal and @NagyDonat ,
> 
> Does this patch have requirements on the Z3 version?
> 
> I get
> ```LLVM ERROR: Z3 error: unknown parameter 'timeout'```
> for the following testcases
> ```
> Failed Tests (3):
>   Clang-Unit :: StaticAnalyzer/./StaticAnalysisTests/24/188
>   Clang-Unit :: StaticAnalyzer/./StaticAnalysisTests/25/188
>   Clang-Unit :: StaticAnalyzer/./StaticAnalysisTests/26/188
> ```
> 

I'm not aware. I used the latest Z3 when testing. I'll have a look.

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