Member predicate TaintTracking::Configuration::isBarrierEdge

Holds if flow from src to dest is prohibited.