Member predicate DataFlow :: InvokeNode :: isIndefinite
Holds if the approximation of possible callees for this call site is
affected by the given analysis incompleteness cause
.
predicate
isIndefinite
(
Incompleteness
cause
)