non-structural specialization of traceUpdate.