Predicate TypeTrackingInput::loadStoreStep
Holds if the loadContent of nodeFrom is stored in the storeContent of nodeTo.
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImplpredicate loadStoreStep(Node nodeFrom, Node nodeTo, Content loadContent, Content storeContent)