How to do Stateful Property Testing in Clojure – Magnus Kvalevåg