#counterexample-shrinking