public void AddContractMutator(IContractMutator mutator) { contractDecorators.Add(mutator); }
public void AddContractMutator(IContractMutator mutator) { contractFilters.Add(mutator); }