Member predicate DataFlow::TypeTracker::startInPromise
Holds if this is the starting point of type tracking, and the initial value is a promise. The type tracking only ends after the value has been extracted from the promise.
predicate startInPromise()