improve the complexity of TraceImpl declaration;