Member predicate DataFlow::TypeBackTracker::isInProp
Holds if this is the starting point of type backtracking, and the value is in the property named propName
.
The type tracking only ends after the property has been stored.
predicate isInProp(PropertyName propName)