Added a closing annotation

When the tracing interpreter, while tracing, comes across a closing annotation that has the same label as the label that initiated the tracing, the tracing will be stopped