Output counterexamples with failed properties