Predicate AbstractValuesImpl::abstractValueOfType

Gets a definite abstract value with the given type.

DefiniteAbstractValue abstractValueOfType(TypeTag type)