Characteristic predicate DataFlow::Incompleteness::Incompleteness

Incompleteness()