More debugging of minimization tests.