Predicate storeStepIntoSourceNode
Holds if a store step nodeFrom -> nodeTo with contents exists, where the destination node
is a post-update node that should be treated as a local source node.
Import path
import codeql.ruby.typetracking.TypeTrackerSpecificpredicate storeStepIntoSourceNode(Node nodeFrom, Node nodeTo, ContentSet contents)