Member predicate DataFlow::PropRef::mayHavePropertyName

Holds if this property reference may access a property named propName.