CoverageCriteriaGenerator - ready to generate test paths