Predicate DataFlow :: isIncomplete
Holds if the flow information for the node
This predicate holds if there may be a source flow node from which data flows into
this node, but that node is not a result of
getALocalSource() due to analysis incompleteness.
cause is bound to a string describing the source of incompleteness.
For example, since this analysis is intra-procedural, data flow from actual arguments
to formal parameters is not modeled. Hence, if
p is an access to a parameter,
p.getALocalSource() does not return the corresponding argument, and
predicate isIncomplete ( Node nd , Incompleteness cause )