special case annotate-tag for loop bindings