C#: Disable dynamic join ordering for select predicate

Author: kaspersv

csharp/ql/lib/semmle/code/csharp/commons/QualifiedName.qll

@@ -173,6 +173,7 @@ module QualifiedName<QualifiedNameInputSig Input> {
    * Holds if declaration `d` has name `name` and is defined in type `type`
    * with namespace `namespace`.
    */
+  pragma[no_dynamic_join_order]
   predicate hasQualifiedName(Declaration d, string namespace, string type, string name) {
     hasQualifiedName(d.getDeclaringType(), namespace, type) and
     (

csharp/ql/src/Language Abuse/SimplifyBoolExpr.ql

@@ -108,6 +108,7 @@ predicate negatedOperators(string op, string negated) {
 }
 
 /** Holds if replacing `expr` with `operatorName` could call an enclosing operator. */
+pragma[no_dynamic_join_order]
 private predicate couldCallEnclosingOperator(LogicalNotExpr expr, string operatorName) {
   exists(BinaryOperation binary, Operator enclosingOperator |
     binary = expr.getOperand() and