Predicate AbstractPropertiesImpl::getAnInitialPropertyValue

Holds if the result is known to be an initial value of property propertyName of one of the concrete objects represented by baseVal.

AbstractValue getAnInitialPropertyValue(DefiniteAbstractValue baseVal, string propertyName)