Predicate DataFlow::SharedFlowStep::loadStep

Holds if the property prop of the object pred should be loaded into succ.

Import path

import javascript

predicate loadStep(Node pred, Node succ, string prop)