Verifier: output text is more sharp; tabs with counterexamples.
counterexamples are displayed!