C++: Do not inline Dominance::hasMultiScopeNode

Author: hvitved

cpp/ql/src/semmle/code/cpp/controlflow/Dominance.qll

@@ -14,6 +14,7 @@ import cpp
  * In rare cases, the same node is used in multiple control-flow scopes. This
  * confuses the dominance analysis, so this predicate is used to exclude them.
  */
+pragma[noinline]
 private predicate hasMultiScopeNode(Function f) {
   exists(ControlFlowNode node |
     node.getControlFlowScope() = f and