Characteristic predicate DataflowAnnotation::DataflowAnnotation

DataflowAnnotation()