Predicate shouldAlwaysTrackProperties
Holds if baseVal is an abstract value whose properties we track for the purposes
of getALocalValue.
Import path
import semmle.javascript.dataflow.internal.AbstractPropertiesImpl
predicate
shouldAlwaysTrackProperties
(
AbstractValue
baseVal
)