Trace::__toString(): the trace representation of a string