PS: Add placeholder for speculative flow now that this has been merged on the GitHub side.

Author: MathiasVP

powershell/ql/lib/semmle/code/powershell/dataflow/flowsources/FlowSources.qll

@@ -1,5 +1,5 @@
 /** Provides classes representing various flow sources for taint tracking. */
-import semmle.code.powershell.dataflow.internal.DataFlowPublic as DataFlow
+private import semmle.code.powershell.dataflow.internal.DataFlowPublic as DataFlow
 import semmle.code.powershell.dataflow.flowsources.Remote
 import semmle.code.powershell.dataflow.flowsources.Local
 import semmle.code.powershell.frameworks.data.internal.ApiGraphModels

powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPrivate.qll

@@ -65,3 +65,15 @@ private module Cached {
 }
 
 import Cached
+import SpeculativeTaintFlow
+
+private module SpeculativeTaintFlow {
+  private import semmle.code.powershell.dataflow.internal.DataFlowDispatch as DataFlowDispatch
+  private import semmle.code.powershell.dataflow.internal.DataFlowPublic as DataFlowPublic
+
+  /**
+   * Holds if the additional step from `src` to `sink` should be considered in
+   * speculative taint flow exploration.
+   */
+  predicate speculativeTaintStep(DataFlow::Node src, DataFlow::Node sink) { none() }
+}