Predicate hasName

Holds if element e has name name.

Import path

import java
predicate hasName(Element e, string name)