Removed set-closing-function-if-not-yet-existing!

Instead of setting the closing-function for labels only at the very end of the trace recording, just do it at the beginning, in start-recording-label, just like with tracing guard or mp-tails