Member predicate AbstractValues::AbstractValue::isIndefinite

Holds if this abstract value is an indefinite value arising from the incompleteness cause.

predicate isIndefinite(Incompleteness cause)