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

[Donát Nagy via cfe-commits]

================
@@ -50,16 +45,17 @@ void Z3ErrorHandler(Z3_context Context, Z3_error_code Error) {
 /// Wrapper for Z3 context
 class Z3Context {
----------------
NagyDonat wrote:

Another class that manages a resource in a destructor, but does not handle copy/move assignment/construction.

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