Holds if this is the standard FlowLabel::taint() flow label,
describing values that are influenced (“tainted”) by a flow
source, but not necessarily directly derived from it.
predicate
isTaint
(
)