public void Dispose() { _auditor = null; }
public ContractAuditorFixture() { _auditor = new ContractAuditor(null, null); }