Tu módulo tiene tres capas. Probablemente solo escribiste una.
Las Box Structures te obligan a definir qué hace un módulo, qué recuerda y cómo funciona como tres capas separadas y verificables. Así es como Cleanroom elimina el debugging.
Escribes el código primero, luego los tests, y descubres que el código estaba mal. Ese es el loop estándar. Por eso el debugging consume la mitad de la mayoría…