Member predicate Annotatable::hasAnnotation

Holds if this element has an annotation.

predicate hasAnnotation()