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.AbstractPropertiesImplpredicate shouldAlwaysTrackProperties(AbstractValue baseVal)