z3 interop in clojure