A test case reductor for mutated files