Counterexample classification