Member predicate StdAttribute::hasQualifiedName

Holds if this attribute has the given namespace and name.

predicate hasQualifiedName(string namespace, string name)