zax failure on "z3" binary
As requested, instrumenting with ZAFL on the pre-built "z3" binary from the following package results in zax failure.
Package link: https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-ubuntu-16.04.zip
Best, -Stefan