Is there any existing tooling for working with "sub-properties" in test.check? 1. Against a generated input, discriminate between "sub-properties", reporting exactly which failed (as opposed to (and prop-1 prop-2 ...) which hides that) 2. Ideally, when failing, shrinks and works only against the failing "sub-property" I know test.chuck (with a 'U') works for point 1 by allowing to use clojure.test/is but I don't believe it is too smart about point 2.

3. Failing a sub-property does prevent other sub-properties from being tested (purpose is to "multiplex" generated input which can be expensive to create)