int killedBefore = getNumKilledMutants(test, mutationTraces, executedMutants); minimize(test, executedMutants, assertions, killMap); int killedAfter = getNumKilledMutants(test, mutationTraces, executedMutants);
int killedBefore = getNumKilledMutants(test, mutationTraces, executedMutants); minimize(test, executedMutants, assertions, killMap); int killedAfter = getNumKilledMutants(test, mutationTraces, executedMutants);