Predicate DataFlow :: localFieldStep
Holds if there is a step from pred
to succ
through a field accessed through this
in a class.
Import path
import javascript
predicate
localFieldStep
(
Node
pred
,
Node
succ
)