Predicate TypeTrackingInput::withContentStep
Holds if type-tracking should step from nodeFrom to nodeTo if inside a content matched by filter.
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImplpredicate withContentStep(Node nodeFrom, LocalSourceNode nodeTo, ContentFilter filter)