Stateful generative testing in clojure