diff --git a/jetCheck/src/jetCheck/PropertyFailureImpl.java b/jetCheck/src/jetCheck/PropertyFailureImpl.java
index 48f9df4918fb..ab62ca171f49 100644
--- a/jetCheck/src/jetCheck/PropertyFailureImpl.java
+++ b/jetCheck/src/jetCheck/PropertyFailureImpl.java
@@ -89,8 +89,8 @@ class PropertyFailureImpl<T> implements PropertyFailure<T> {
           try {
             iteration.session.notifier.shrinkAttempt(PropertyFailureImpl.this, iteration);
 
-            T value = iteration.session.generator.getGeneratorFunction().apply(new ReplayDataStructure(node, iteration.sizeHint, customizer));
             totalSteps++;
+            T value = iteration.session.generator.getGeneratorFunction().apply(new ReplayDataStructure(node, iteration.sizeHint, customizer));
             CounterExampleImpl<T> example = CounterExampleImpl.checkProperty(iteration.session.property, value, customizer.writeChanges(node));
             if (example != null) {
               minimized = example;
diff --git a/jetCheck/test/jetCheck/GeneratorTest.java b/jetCheck/test/jetCheck/GeneratorTest.java
index 92a812b92d32..1abe4892a61b 100644
--- a/jetCheck/test/jetCheck/GeneratorTest.java
+++ b/jetCheck/test/jetCheck/GeneratorTest.java
@@ -29,7 +29,7 @@ public class GeneratorTest extends PropertyCheckerTestCase {
   public void testListContainsDivisible() {
     checkGeneratesExample(nonEmptyLists(integers()),
                           l -> l.stream().anyMatch(i -> i % 10 == 0),
-                          3);
+                          4);
   }
 
   public void testStringContains() {
@@ -108,7 +108,7 @@ public class GeneratorTest extends PropertyCheckerTestCase {
       .shouldHold(s -> Character.isJavaIdentifierStart(s.charAt(0)) && s.chars().allMatch(Character::isJavaIdentifierPart));
     checkGeneratesExample(asciiIdentifiers(),
                           s -> s.contains("_"),
-                          8);
+                          11);
   }
 
   public void testBoolean() {
@@ -121,7 +121,7 @@ public class GeneratorTest extends PropertyCheckerTestCase {
   public void testShrinkingNonEmptyList() {
     List<Integer> list = checkGeneratesExample(nonEmptyLists(integers(0, 100)),
                                                l -> l.contains(42),
-                                               11);
+                                               12);
     assertEquals(1, list.size());
   }
 
@@ -153,11 +153,11 @@ public class GeneratorTest extends PropertyCheckerTestCase {
   public void testSameFrequency() {
     checkFalsified(listsOf(frequency(1, constant(1), 1, constant(2))),
                    l -> !l.contains(1) || !l.contains(2),
-                   2);
+                   3);
 
     checkFalsified(listsOf(frequency(1, constant(1), 1, constant(2)).with(1, constant(3))),
                    l -> !l.contains(1) || !l.contains(2) || !l.contains(3),
-                   7);
+                   8);
   }
 
 }
diff --git a/jetCheck/test/jetCheck/StatefulGeneratorTest.java b/jetCheck/test/jetCheck/StatefulGeneratorTest.java
index ffdfba09c2a6..a32c2453dc59 100644
--- a/jetCheck/test/jetCheck/StatefulGeneratorTest.java
+++ b/jetCheck/test/jetCheck/StatefulGeneratorTest.java
@@ -22,7 +22,7 @@ public class StatefulGeneratorTest extends PropertyCheckerTestCase {
     });
     List<InsertChar> minCmds = checkGeneratesExample(gen,
                                                      cmds -> InsertChar.performOperations(cmds).contains("ab"),
-                                                     79);
+                                                     89);
     assertEquals(minCmds.toString(), 2, minCmds.size());
   }