Predicate signature TypeTrackingInput::loadStoreStep
Holds if the content c1
of nodeFrom
is stored in the content c2
of
nodeTo
.
signature predicate loadStoreStep(Node nodeFrom, Node nodeTo, Content c1, Content c2)
Holds if the content c1
of nodeFrom
is stored in the content c2
of
nodeTo
.
signature predicate loadStoreStep(Node nodeFrom, Node nodeTo, Content c1, Content c2)