Member predicate TaintTracking::TaintKind::taints

Holds if this kind of taint “taints” expr.

predicate taints(ControlFlowNode expr)