Python: Add no-inline to force correct join-order.

python/ql/src/semmle/python/Flow.qll

@@ -956,6 +956,7 @@ class BasicBlock extends @py_flow_node {
 
     /** Dominance frontier of a node x is the set of all nodes `other` such that `this` dominates a predecessor 
      * of `other` but does not strictly dominate `other` */ 
+    pragma[noinline]
     predicate dominanceFrontier(BasicBlock other) {
         this.dominates(other.getAPredecessor()) and not this.strictlyDominates(other)
     }