   (run-tests [x] "Runs tests defined for the Namespace, Var, or TestCase."))
 
 (defprotocol TestInvokable
-  (invoke-test [t states active]
+  (invoke-test [t states active strategy]
                "(private) Executes the TestCase or Assertion."))
 
 (extend-class clojure.lang.Fn TestInvokable
-              (invoke-test [f states active] (apply f states)))
+              (invoke-test [f states active strategy] (apply f states)))
 
 ;;; DATATYPES
 

  clojure.lang.IFn
  (invoke [] (run-test-case this))
  (invoke [active] (run-test-case this active))
  TestInvokable (invoke-test [states active]
                             (run-test-case this active)))

(deftype Assertion [locals form])


(def t8 (TestCase [] [t7 t7]))

(with-log
  (let [results (run-test-case t8 {} lazy-strategy)]
    (assert (= @*log* []))
    (dorun (:children (first (:children results))))
    (assert (= @*log* [:c6-open :a3 :a4]))
