Member predicate CustomAbstractValueDefinition::isIndefinite

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