Member predicate TaintTracking::Configuration::isBarrierEdge

Holds if flow with label lbl cannot flow from pred to succ.

predicate isBarrierEdge(Node source, Node sink, FlowLabel lbl)