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)