@@ -63,6 +63,9 @@ module FlowSummaryInput implements InputSig<Location, DataFlowInput> {
     token = "OptionalSome" and result = ContentSet::namedMember("some.0")
     or
     token = "CollectionElement" and result = ContentSet::arrayElement()
+    or
+    token.getName() = "TupleElement" and
+    result = ContentSet::namedMember(AccessPathSyntax::parseInt(token.getAnArgument()).toString())
   }
 
   bindingset[token]
Original file line number	Diff line number	Diff line change
`@@ -63,6 +63,9 @@ module FlowSummaryInput implements InputSig<Location, DataFlowInput> {`
`63`	`63`	`token = "OptionalSome" and result = ContentSet::namedMember("some.0")`
`64`	`64`	`or`
`65`	`65`	`token = "CollectionElement" and result = ContentSet::arrayElement()`
	`66`	`+ or`
	`67`	`+ token.getName() = "TupleElement" and`
	`68`	`+ result = ContentSet::namedMember(AccessPathSyntax::parseInt(token.getAnArgument()).toString())`
`66`	`69`	`}`
`67`	`70`
`68`	`71`	`bindingset[token]`