Predicate matchSequenceReadStep
sequence pattern: each element reads from subject at the associated index
syntax (toplevel): case [a, b]:
Import path
import semmle.python.dataflow.new.internal.MatchUnpackingpredicate matchSequenceReadStep(Node nodeFrom, Content c, Node nodeTo)