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

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat commented:

I tried to review the resource management code thoroughly, but I admit that I'm not skilled in this area -- I'm used to working in modern C++ and Python where these footguns are less relevant.

I found two classed that (if I understand correctly) violate the "rule of three", but I didn't find any acute issues.

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