Seu module tem três camadas. Você provavelmente só escreveu uma.
As Box Structures obrigam você a definir o que um module faz, o que ele lembra e como funciona como três camadas separadas e verificáveis. Veja como o Cleanroom as usa para eliminar o debugging.
Você escreve o código primeiro, depois os testes, e descobre que o código estava errado. Esse é o loop padrão. É por isso que o debugging consome metade da…