Add tracing labels for some mvars