Member predicate DataFlow::TypeTracker::startInProp
Holds if this is the starting point of type tracking, and the value starts in the property named propName
.
The type tracking only ends after the property has been loaded.
predicate startInProp(PropertyName propName)