Add tests for TraceSet.