fun <A, B, C, D> shrinkInputs(a: A, b: B, c: C, d: D, gena: Gen<A>, genb: Gen<B>, genc: Gen<C>, gend: Gen<D>, context: PropertyContext, fn: PropertyContext.(a: A, b: B, c: C, d: D) -> Unit, e: AssertionError): Unit