Verification of marked and unmarked mutants, e.g. cpcC1/cpcC2 in ...