Mutant Reduction Evaluation: What is There and What is Missing? | Synapse