update TraceSpace -> TraceElement