Predicate basicWithContentStep
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.TypeTrackerSpecific
predicate basicWithContentStep(Node nodeFrom, Node nodeTo, ContentFilter filter)