Adding more rules. Proper correctness auditor