| When checking if the function matches its specification,
| Kaputt will determine the first precondition from the list
| that holds, and ensure that the corresponding postcondition
| holds: if not, a counterexample has been found.

This is not helpful in my standard usage. I've got multiple postconditions that I want to test, some of them with preconditions because they don't apply to every test case.
I would rather have all the implications in the list checked on every test run.

Or maybe I'm doing something wrong here, and I should rather use multiple tests for this?