nicer counterexamples

error is issued when parameter is used as bool and int
return from anywhere