   (dc/quick-check 1000 transitive-prop)
   (dc/quick-check 1000 anti-symmetric-prop)
   (dc/quick-check 1000 total-prop)
-  (dc/quick-check 100 (building-prop gen-assoc))
-  (dc/quick-check 100 (building-prop gen-action))
-  (dc/quick-check 100 (lookup-prop gen-action))
-  (dc/quick-check 100 iterator-prop)
+  (dc/quick-check 500 (building-prop gen-assoc))
+  (dc/quick-check 500 (building-prop gen-action))
+  ;; cljs.core.pr_str(cemerick.double_check.quick_check(1000, aurora.btree.building_prop(aurora.btree.gen_action)))
+  (dc/quick-check 500 (lookup-prop gen-action))
+  (dc/quick-check 500 iterator-prop)
+  ;; cljs.core.pr_str(cemerick.double_check.quick_check(1000, aurora.btree.iterator_prop)
 
 
   (defn f []

                      (do
                        (set! node (aget (.-children node) ix))
                        (set! ix 0)
                        (recur)))))))))))

(defn iterator [tree]
  (loop [node (.-root tree)]

                 movements (gen/vector gen-movement)]
                (run-iterator-prop min-keys actions movements)))

(comment
  (dc/quick-check 1000 least-prop)
  (dc/quick-check 1000 greatest-prop)
