Shared: Add missing transitive closure.

Author: MathiasVP

shared/dataflowstack/codeql/dataflowstack/DataFlowStack.qll

@@ -236,7 +236,7 @@ module DataFlowStackMake<LocationSig Location, DF::InputSig<Location> Lang> {
         exists(Flow::PathNode source, Flow::PathNode sink |
           flowStack = TFlowStack(source, sink) and
           frame.getPathNode() = DataFlowStack::getASuccessor*(source) and
-          DataFlowStack::getASuccessor(frame.getPathNode()) = sink
+          DataFlowStack::getASuccessor*(frame.getPathNode()) = sink
         )
       }
 

shared/dataflowstack/codeql/dataflowstack/TaintTrackingStack.qll

@@ -242,7 +242,7 @@ module TaintTrackingStackMake<
         exists(Flow::PathNode source, Flow::PathNode sink |
           flowStack = TFlowStack(source, sink) and
           frame.getPathNode() = TaintTrackingStack::getASuccessor*(source) and
-          TaintTrackingStack::getASuccessor(frame.getPathNode()) = sink
+          TaintTrackingStack::getASuccessor*(frame.getPathNode()) = sink
         )
       }