Predicate DataFlowPrivate::storeStep
Holds if data can flow from node1
to node2
via an assignment to f
.
Thus, node2
references an object with a field f
that contains the
value of node1
.
predicate storeStep(Node node1, Content f, PostUpdateNode node2)