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)