Predicate Location::hasName

Holds if element e has name name.

predicate hasName(Element e, string name)