Fixed loop-annotation semantics

The tracing interpreter now only starts tracing after evaluating a loop-annotation AND when is has already encountered the expression that was passed in this loop-annotation at least once before.