diff --git a/test/PropertyCheckerTests.hs b/test/PropertyCheckerTests.hs
index 0c9aef0..37b522e 100644
--- a/test/PropertyCheckerTests.hs
+++ b/test/PropertyCheckerTests.hs
@@ -1,6 +1,7 @@
 module PropertyCheckerTests where
 
 import Core.Syntax
+import Validation.Formula         (defaultRecDepth)
 import Validation.PropertyChecker
 
 import Test.Tasty
@@ -20,7 +21,7 @@ simple =
 -- Helpers
 satisfiable :: Term Type -> Assertion
 satisfiable prop =
-  do let f = generateFormula End prop
+  do let f = generateFormula defaultRecDepth End prop
      (ThmResult result) <- prove f
      case result of
        Unsatisfiable _ _ -> return ()
@@ -28,7 +29,7 @@ satisfiable prop =
 
 unsatisfiable :: Term Type -> Assertion
 unsatisfiable prop =
-  do let f = generateFormula End prop
+  do let f = generateFormula defaultRecDepth End prop
      (ThmResult result) <- prove f
      case result of
        Satisfiable _ _ -> return ()