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