Member predicate AbstractValue :: isIndefinite
Holds if this abstract value is an indefinite value arising from the
incompleteness cause
.
predicate
isIndefinite
(
Incompleteness
cause
)