Updates on counterexample reporting.