Characteristic predicate DataFlow::DataFlow::Incompleteness::Incompleteness

Incompleteness()