Wrong code for coverage filter adhd/3