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)