added tests for the counter type