public static void Assert <T>( this IGen <Test <T> > property, int?iterations = null, int?seed = null, int?size = null, int?shrinkLimit = null, string?replay = null, bool deepCheck = true, Func <string, string>?formatReproduction = null, Func <string, string>?formatMessage = null) { var checkResult = property.Check(iterations: iterations, seed: seed, size: size, shrinkLimit: shrinkLimit, replay: replay, deepCheck: deepCheck); if (checkResult.Falsified) { throw new PropertyFailedException( BoxCounterexample(checkResult.Counterexample !), checkResult.Iterations, checkResult.Shrinks, formatReproduction, formatMessage); } }