Dein Modul hat drei Schichten. Du hast wahrscheinlich nur eine geschrieben.
Box Structures zwingen dich, das Verhalten eines Moduls, seinen Zustand und seine Implementierung als drei separate, überprüfbare Schichten zu definieren. So eliminiert Cleanroom das Debugging.