non-structural specialization for traceUpdate().