Restructed loop annotation

The 'label' of the loop is now first evaluated before checking whether this label has been encountered before. This should allow us to support meta-tracing.