Predicate CachedSteps::basicLoadStep
Holds if there is a load step from pred to succ under property prop,
that is, succ is a read of property prop from pred.
Import path
import semmle.javascript.dataflow.internal.FlowStepspredicate basicLoadStep(Node pred, PropRead succ, string prop)