TraceSet: make it non copyable