Member predicate Configuration::LabeledBarrierGuardNode::getALabel

DEPRECATED: Use blocks(outcome, e, label) or sanitizes(outcome, e, label) instead.

Overriding this predicate has no effect.

FlowLabel getALabel()