FIX: test case counting