Member predicate DataFlow::DataFlowNode::getALocalFlowSucc

Holds if this node flows to sink in one step. tt is the tainting that occurs during this step.

predicate getALocalFlowSucc(DataFlowNode sink, TaintType tt)