Member predicate AbstractValues::IndefiniteObject::isIndefinite

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

predicate isIndefinite(Incompleteness cause)