Predicate TaintTracking::SequenceKind::flowStep

predicate flowStep(ControlFlowNode fromnode, ControlFlowNode tonode)