PR #129: Redundant-test detection for mutation testing