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