From 65d0ca9e53f531648d0d5d33e11013ba9c38fe90 Mon Sep 17 00:00:00 2001
From: "REDMOND\\brodes" <brodes@microsoft.com>
Date: Fri, 24 Oct 2025 14:08:25 -0400
Subject: [PATCH] Crypto: Simplifying expression for ql-for-ql alert.

---
 java/ql/src/experimental/quantum/Examples/BadMacOrder.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/ql/src/experimental/quantum/Examples/BadMacOrder.qll b/java/ql/src/experimental/quantum/Examples/BadMacOrder.qll
index 20e7b7225c2..6d944661621 100644
--- a/java/ql/src/experimental/quantum/Examples/BadMacOrder.qll
+++ b/java/ql/src/experimental/quantum/Examples/BadMacOrder.qll
@@ -109,7 +109,7 @@ module WrapperArgFlowConfig implements DataFlow::ConfigSig {
   predicate isBarrierOut(DataFlow::Node node) {
     // stop all flow out of a call return
     // TODO: this might be too strict and remove taint flow, need to reassess
-    exists(Call c | c = node.asExpr()) or
+    node.asExpr() instanceof Call or
     node = any(Crypto::FlowAwareElement element).getInputNode()
   }