Member predicate AttrRef::mayHaveAttributeName

Holds if this attribute reference may access an attribute named attrName. Uses local data flow to track potential attribute names, which may lead to imprecision. If more precision is needed, consider using getAttributeName instead.