Member predicate 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)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)