Predicate AccessPath::step
Holds if there is a step from pred to succ through an assignment to an access path.
Import path
import semmle.javascript.GlobalAccessPathsHolds if there is a step from pred to succ through an assignment to an access path.
import semmle.javascript.GlobalAccessPaths