Add class TestCoverageCriteria and some other methods