Predicate Private::External::invalidIndexComponent
Holds if token part of specification spec has an invalid index.
E.g., Argument[-1].
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImplpredicate invalidIndexComponent(AccessPath spec, AccessPathToken part)