the solution to the CountNonDivisible problem satisfies correctness tests