Examples showing how to combine clojure.test.check and knossos to detect concurrency bugs