Guarantees that the there are no duplications of TestCaseId.
test cases that has killed at least one mutant.
See Implementation
Guarantees that the there are no duplications of TestCaseId.