Z3 can produce models

The additional command line argument requires at least z3 v 4.3.2 (the latest stable version).