Adding tracing labels and counters