Member predicate Element::NamedElement::hasName

Holds if this element has name ‘name’.

predicate hasName(string name)