Predicate shouldTrackProperties
Holds if flow should be tracked through properties of obj.
Flow is tracked through module and module.exports objects.
Import path
import semmle.javascript.dataflow.internal.FlowStepspredicate shouldTrackProperties(AbstractValue obj)