unified: Handle TupleElement

Author: asgerf

unified/ql/lib/codeql/unified/internal/dataflow/FlowSummaries.qll

@@ -63,6 +63,14 @@ 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(token.getAnArgument())
+      or
+      not exists(token.getArgumentList()) and
+      result = ContentSet::arrayElement()
+    )
   }
 
   bindingset[token]