Characteristic predicate DataFlow::FlowLabel::FlowLabel

FlowLabel()