CoverageClause passed to TraceListener