in src/main/java/org/jetbrains/jetCheck/StructureNode.java [266:274]
ShrinkStep shrink() {
if (value == 0) return null;
int minValue = 0;
if (distribution instanceof BoundedIntDistribution) {
minValue = Math.max(minValue, distribution.getMin());
}
return tryInt(minValue, () -> null, this::tryNegation);
}