Adding the tests for the finite field counter