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.