consistentSetModify

suspend fun <A, B> consistentSetModify(    optionalGen: Arb<Optional<A, B>>,     aGen: Arb<A>,     bGen: Arb<B>,     eq: (A, A) -> Boolean): PropertyContext