Predicate readsAnElement
Holds if node reads an element from base, either via an element-read (base[y]) expression
or via a range statement _, node := range base.
Import path
import semmle.go.dataflow.internal.DataFlowUtilpredicate readsAnElement(Node node, Node base)