Predicate TaintTracking::TaintFlowImplementation::iteration_step

Holds if v is defined by a for statement, the definition being defn

predicate iteration_step(TaintedNode fromnode, TrackedValue totaint, CallContext tocontext, ForNode for)