Fix counterexample reporting