Characteristic predicate ConsistencyChecks::DeclarationWithoutLabel::DeclarationWithoutLabel

DeclarationWithoutLabel()