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