Member predicate DataFlow :: InvokeNode :: isUncertain
Holds if our approximation of possible callees for this call site is likely to be imprecise or incomplete.
predicate
isUncertain
(
)