Holds if this for
statement causes iteration over sequence
storing each step of the iteration in target
predicate iterates(ControlFlowNode target, ControlFlowNode sequence)
Holds if this for
statement causes iteration over sequence
storing each step of the iteration in target
predicate iterates(ControlFlowNode target, ControlFlowNode sequence)