Correctness of every checker is automatically tested for positive AND negative cases

Iteration
Facade
Priority
2
Quality