Predicate getAnInitialPropertyValue
Holds if the result is known to be an initial value of property propertyName of one
of the concrete objects represented by baseVal.
Import path
import semmle.javascript.dataflow.internal.AbstractPropertiesImplAbstractValue getAnInitialPropertyValue(DefiniteAbstractValue baseVal, string propertyName)