Holds if this kind of taint “taints” expr.
predicate
taints
(
ControlFlowNode
expr
)