[clang] [analyzer] Correct crash in Z3 wrapper (PR #158276)

[via cfe-commits]

vabridgers wrote:

Thank you for the comments, @NagyDonat . I'll update the PR accordingly, and respond to the comments.

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