Member predicate TaintTracking::Configuration::isBarrierGuard
Holds if data flow node guard can act as a barrier when appearing
in a condition.
For example, if guard is the comparison expression in
if(x == 'some-constant'){ ... x ... }, it could block flow of
x into the “then” branch.
predicate isBarrierGuard(BarrierGuardNode guard)