@@ -1491,6 +1491,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
         private module RevTypeFlow = TypeFlow<RevTypeFlowInput>;
 
         pragma[nomagic]
+        pragma[no_dynamic_join_order]
         private predicate flowIntoCallApValid(Call call, Callable c, ArgNd arg, ParamNd p, Ap ap) {
           flowIntoCallAp(call, c, arg, p, ap) and
           RevTypeFlow::typeFlowValidEdgeOut(call, c)
@@ -1506,6 +1507,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
           )
         }
 
+        pragma[no_dynamic_join_order]
         private predicate revFlowIn(Call call, Callable c, ArgNd arg, Ap ap) {
           exists(ParamNd p |
             revFlow(p, TReturnCtxNone(), _, ap) and
 
@@ -1005,6 +1005,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
     private predicate relevantType(Type t) { t = getNodeType(_) }
 
     cached
+    pragma[no_dynamic_join_order]
     predicate isTopType(Type t) {
       strictcount(Type t0 | relevantType(t0)) =
         strictcount(Type t0 | relevantType(t0) and compatibleTypesCached(t, t0))
@@ -1514,6 +1515,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
         }
 
         pragma[nomagic]
+        pragma[no_dynamic_join_order]
         private predicate argumentValueFlowsThrough0(
           Call call, ArgNode arg, ReturnKind kind, ReadStepTypesOption read, string model,
           CachedCallContextSensitivity::CcNoCall outerCtx
@@ -2132,6 +2134,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
      * the current data flow stage has reached the call of `arg` from one of its
      * call targets.
      */
+    pragma[no_dynamic_join_order]
     private predicate typeFlowArgTypeFromReturn(ArgNode arg, Type t) {
       exists(ParamNode p, Type t1, Type t2 |
         dataFlowTakenCallEdgeOut(_, _, arg, p) and
 
@@ -866,6 +866,7 @@ module RangeStage<
    * - `upper = true`  : `v <= b + delta`
    * - `upper = false` : `v >= b + delta`
    */
+  pragma[no_dynamic_join_order]
   private predicate boundedSsa(
     Sem::SsaVariable v, SemBound b, D::Delta delta, SsaReadPosition pos, boolean upper,
     boolean fromBackEdge, D::Delta origdelta, SemReason reason
Original file line number	Diff line number	Diff line change
`@@ -1491,6 +1491,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {`
`1491`	`1491`	`private module RevTypeFlow = TypeFlow<RevTypeFlowInput>;`
`1492`	`1492`
`1493`	`1493`	`pragma[nomagic]`
	`1494`	`+ pragma[no_dynamic_join_order]`
`1494`	`1495`	`private predicate flowIntoCallApValid(Call call, Callable c, ArgNd arg, ParamNd p, Ap ap) {`
`1495`	`1496`	`flowIntoCallAp(call, c, arg, p, ap) and`
`1496`	`1497`	`RevTypeFlow::typeFlowValidEdgeOut(call, c)`
`@@ -1506,6 +1507,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {`
`1506`	`1507`	`)`
`1507`	`1508`	`}`
`1508`	`1509`
	`1510`	`+ pragma[no_dynamic_join_order]`
`1509`	`1511`	`private predicate revFlowIn(Call call, Callable c, ArgNd arg, Ap ap) {`
`1510`	`1512`	`exists(ParamNd p \|`
`1511`	`1513`	`revFlow(p, TReturnCtxNone(), _, ap) and`