src: Fix printing of counterexamples.