Annotation identifier checking implemented as a visitor to the element