Changed tests to reflect my new interface for reporting multiple tests that kill a mutant