Predicate signature loadStoreStep
Holds if the content c1 of nodeFrom is stored in the content c2 of
nodeTo.
Import path
import codeql.typetracking.TypeTrackingsignature predicate loadStoreStep(Node nodeFrom, Node nodeTo, Content c1, Content c2)