in src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java [91:102]
private ShrinkStep shrinkIteration(ShrinkStep limit) {
ShrinkStep lastSuccessfulShrink = null;
ShrinkStep step = shrunk.data.shrink();
while (step != null) {
step = findSuccessfulShrink(step, limit);
if (step != null) {
lastSuccessfulShrink = step;
step = step.onSuccess(shrunk.data);
}
}
return lastSuccessfulShrink;
}