1. Argentinize contrivance Welsh-born debugs

2. Next, a waveform derived from the counterexample is generated, and the user debugs the failure.