Member predicate TaintTracking::Sanitizer::sanitizingNode

Holds if taint cannot flow through node.

predicate sanitizingNode(TaintKind taint, ControlFlowNode node)