Member predicate DataflowAnnotation::isDefault

Holds if this annotation is the default annotation.

predicate isDefault()