improved display of counter examples