[PATCH] D86223: [analyzer][z3] Use more elaborate Z3 variable names

[Mikhail Ramalho via Phabricator via cfe-commits]

mikhail.ramalho accepted this revision.
mikhail.ramalho added a comment.
This revision is now accepted and ready to land.

LGTM!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86223/new/

https://reviews.llvm.org/D86223