Member predicate AnalyzedNode::hasAdditionalIncompleteness
INTERNAL. Use isIncomplete()
instead.
Subclasses may override this to contribute additional incompleteness to this node
without overriding isIncomplete()
.
predicate hasAdditionalIncompleteness(Incompleteness cause)