Member predicate CallGraph::CallSite::isIndefinite

Holds if the approximation of possible callees for this call site is affected by the given analysis incompleteness cause.

predicate isIndefinite(Incompleteness cause)