Find the test that would catch the bugGenerate small counterexamples from a behavioural contract instead of copying the implementation into tests.testingregression-testscode