diff --git a/hydra-node/hydra-node.cabal b/hydra-node/hydra-node.cabal
index fdf98cc32d2..6ec3f0ab656 100644
--- a/hydra-node/hydra-node.cabal
+++ b/hydra-node/hydra-node.cabal
@@ -368,7 +368,7 @@ test-suite tests
     , plutus-tx
     , pretty-simple
     , QuickCheck
-    , quickcheck-dynamic                                                >=3.3.1   && <3.4
+    , quickcheck-dynamic                                                >=3.4     && <3.5
     , quickcheck-instances
     , random
     , regex-tdfa
diff --git a/hydra-node/test/Hydra/ModelSpec.hs b/hydra-node/test/Hydra/ModelSpec.hs
index 4c6bf1c885d..0f10234fc32 100644
--- a/hydra-node/test/Hydra/ModelSpec.hs
+++ b/hydra-node/test/Hydra/ModelSpec.hs
@@ -247,11 +247,11 @@ headOpensIfAllPartiesCommit = do
  where
   eventually' a = action (Wait 1000) >> action_ a
 
-  seedTheWorld = forAllNonVariableQ (withGenQ genSeed (const [])) >>= action_
+  seedTheWorld = forAllNonVariableQ (withGenQ genSeed (const True) (const [])) >>= action_
 
   initHead = do
     WorldState{hydraParties} <- getModelStateDL
-    forAllQ (withGenQ (genInit hydraParties) (const [])) >>= action_
+    forAllQ (withGenQ (genInit hydraParties) (const True) (const [])) >>= action_
 
   everybodyCommit = do
     WorldState{hydraParties, hydraState} <- getModelStateDL
@@ -436,7 +436,7 @@ runRunMonadIOSimGen f = do
 
 nonConflictingTx :: WorldState -> Quantification (Party, Payment.Payment)
 nonConflictingTx st =
-  withGenQ (genPayment st) (const [])
+  withGenQ (genPayment st) (const True) (const [])
     `whereQ` \(party, tx) -> precondition st (Model.NewTx party tx)
 
 eventually :: Action WorldState () -> DL WorldState ()