public bool Analyze2(CFGBlock block, IBidirectionalGraph<CFGBlock, TaggedEdge<CFGBlock, EdgeTag>> graph)
{
var oldTaint = Taints[block];
var newTaint = AnalyzeNode2(block, graph);
if (MonotonicChange(oldTaint, newTaint))
{
_taints[block] = newTaint;
return true;
}
return false;
}