diff --git a/csharp/ql/lib/semmle/code/csharp/Unification.qll b/csharp/ql/lib/semmle/code/csharp/Unification.qll
index c8b78cd07a27..8dabaa8a20a8 100644
--- a/csharp/ql/lib/semmle/code/csharp/Unification.qll
+++ b/csharp/ql/lib/semmle/code/csharp/Unification.qll
@@ -348,6 +348,7 @@ module Gvn {
    *
    * `subsumes` indicates whether `arg1` in fact subsumes `arg2`.
    */
+  pragma[no_dynamic_join_order]
   pragma[nomagic]
   private predicate unifiableTypeArguments(
     CompoundTypeKind k, GvnTypeArgument arg1, GvnTypeArgument arg2, int i, boolean subsumes