[clang] [clang] Fix tests requiring Z3 headers in standalone builds (PR #146200)

[Balazs Benics via cfe-commits]

https://github.com/steakhal approved this pull request.

Thank you for doing this extra mile. I really appreciate it.

I had a look at the patch and it makes sense. Looks good.

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