diff --git a/Language/Memo/Ztrategic.hs b/Language/Memo/Ztrategic.hs
--- a/Language/Memo/Ztrategic.hs
+++ b/Language/Memo/Ztrategic.hs
@@ -15,6 +15,8 @@
 import Language.StrategicData
 import Language.Memo.AGMemo
 
+import Test.QuickCheck
+
 ----------
 ----
 --- TP
diff --git a/Language/Ztrategic.hs b/Language/Ztrategic.hs
--- a/Language/Ztrategic.hs
+++ b/Language/Ztrategic.hs
@@ -19,6 +19,8 @@
 import Control.Monad.State.Lazy
 import System.Random (randomRIO, initStdGen, setStdGen)
 
+import Test.QuickCheck
+
 
 gatherChildren (trav, untrav) z = maybe [] ((navigation:) . gatherChildrenR navigation) $ down' z
  where navigation = (fromJust . down' . trav, untrav . fromJust . up)
diff --git a/Ztrategic.cabal b/Ztrategic.cabal
--- a/Ztrategic.cabal
+++ b/Ztrategic.cabal
@@ -1,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.38.1.
+-- This file has been generated from package.yaml by hpack version 0.36.0.
 --
 -- see: https://github.com/sol/hpack
 
 name:           Ztrategic
-version:        0.3.0
+version:        0.3.1
 synopsis:       Zipper-based library for strategic programming and attribute grammars.
 description:    Strategic programming and attribute grammar library built on top of the Zipper data structure. Can be used as a strategic programming library exclusively, with the option of integrating attribute grammars during strategic term traversal. Supports non-memoized and memoized attribute grammars. 
 category:       Generics
@@ -41,7 +41,8 @@
   hs-source-dirs:
       ./
   build-depends:
-      ZipperAG >=1.0.0 && <2
+      QuickCheck >=2.14.3 && <3
+    , ZipperAG >=1.0.0 && <2
     , base >4.14 && <5
     , monadplus >=1.4.3 && <2
     , mtl >2.0.0.0 && <3