Member predicate TaintedDefinition::isSourceOf
Holds if this is a source of taint kind kind
This should be overridden by subclasses to specify sources of taint.
The smaller this predicate is, the faster Taint.flowsTo() will converge.
predicate isSourceOf(TaintKind kind)