Predicate readStep
Import path
import semmle.python.dataflow.new.internal.VariableCapturepredicate readStep(Node nodeFrom, CapturedVariableContent c, Node nodeTo)import semmle.python.dataflow.new.internal.VariableCapturepredicate readStep(Node nodeFrom, CapturedVariableContent c, Node nodeTo)