Holds if source is a relevant taint source.
source
The smaller this predicate is, the faster hasFlow() will converge.
hasFlow()
predicate isSource(Node source)