Characteristic predicate DataFlow::StandardFlowLabel::StandardFlowLabel

StandardFlowLabel()