Member predicate DataFlow::SharedFlowStep::loadStoreStep
Holds if the property loadProp should be copied from the object pred to the property storeProp of object succ.
predicate loadStoreStep(Node pred, Node succ, string loadProp, string storeProp)