@@ -18,8 +18,8 @@ predicate isDecryptToMacFlow(ArtifactFlow::PathNode src, ArtifactFlow::PathNode
 }
 
 predicate isDecryptToMacNode(Crypto::ArtifactNode node) {
-  exists(ArtifactFlow::PathNode src, ArtifactFlow::PathNode sink |
-    isDecryptToMacFlow(src, sink) and
+  exists(ArtifactFlow::PathNode src |
+    isDecryptToMacFlow(src, _) and
     node.asElement() = src.getNode().asExpr()
   )
 }
 
@@ -9,7 +9,6 @@
  */
 
 import java
-import experimental.quantum.Language
 import ArtifactFlow::PathGraph
 import BadMacOrder
 
 
@@ -9,7 +9,6 @@
  */
 
 import java
-import experimental.quantum.Language
 import BadMacOrder
 import PlaintextUseAsMacAndCipherInputFlow::PathGraph
Original file line number	Diff line number	Diff line change
`@@ -18,8 +18,8 @@ predicate isDecryptToMacFlow(ArtifactFlow::PathNode src, ArtifactFlow::PathNode`
`18`	`18`	`}`
`19`	`19`
`20`	`20`	`predicate isDecryptToMacNode(Crypto::ArtifactNode node) {`
`21`		`- exists(ArtifactFlow::PathNode src, ArtifactFlow::PathNode sink \|`
`22`		`- isDecryptToMacFlow(src, sink) and`
	`21`	`+ exists(ArtifactFlow::PathNode src \|`
	`22`	`+ isDecryptToMacFlow(src, _) and`
`23`	`23`	`node.asElement() = src.getNode().asExpr()`
`24`	`24`	`)`
`25`	`25`	`}`