Member predicate DataFlow::Configuration::isLabeledBarrier

Holds if flow with label lbl cannot flow into node.