Member predicate DataFlowNode::getALocalFlowSucc

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