[clang] [llvm] [NFC][analyzer] Remove Z3-as-constraint-manager hacks from lit test code (PR #145731)

[Donát Nagy via llvm-commits]

NagyDonat wrote:

I created PR https://github.com/llvm/llvm-project/pull/146042 which should hopefully fix this issue. (Right now I'm rebuilding clang to ensure that it is indeed working.)

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