Predicate DataFlow::SharedTypeTrackingStep::loadStoreStep
Holds if type-tracking should step from the prop
property of pred
to the same property in succ
.
Import path
import javascript
predicate loadStoreStep(Node pred, SourceNode succ, string prop)