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