Holds if there is a store step from node1
to node2
.
signature predicate storeStep(ClosureNode node1, CapturedVariable v, ClosureNode node2)
Holds if there is a store step from node1
to node2
.
signature predicate storeStep(ClosureNode node1, CapturedVariable v, ClosureNode node2)