diff --git a/java/ql/lib/experimental/quantum/Language.qll b/java/ql/lib/experimental/quantum/Language.qll
index 534ea2e1b37..4b198dd69b5 100644
--- a/java/ql/lib/experimental/quantum/Language.qll
+++ b/java/ql/lib/experimental/quantum/Language.qll
@@ -115,7 +115,7 @@ private class ConstantDataSourceLiteral extends Crypto::GenericConstantSourceIns
 
 private class ConstantDataSourceArrayInitializer extends Crypto::GenericConstantSourceInstance instanceof ArrayInit
 {
-  ConstantDataSourceArrayInitializer() { exists(Literal l | this.getAnInit() = l) }
+  ConstantDataSourceArrayInitializer() { this.getAnInit() instanceof Literal }
 
   override DataFlow::Node getOutputNode() { result.asExpr() = this }
 
diff --git a/java/ql/src/experimental/quantum/Analysis/NonAESGCMCipher.ql b/java/ql/src/experimental/quantum/Analysis/NonAESGCMCipher.ql
index 659ae4d0286..aa05f7695c6 100644
--- a/java/ql/src/experimental/quantum/Analysis/NonAESGCMCipher.ql
+++ b/java/ql/src/experimental/quantum/Analysis/NonAESGCMCipher.ql
@@ -19,6 +19,7 @@ class NonAESGCMAlgorithmNode extends Crypto::KeyOperationAlgorithmNode {
 }
 
 from Crypto::KeyOperationNode op, Crypto::KeyOperationOutputNode codeNode
-where op.getAKnownAlgorithm() instanceof NonAESGCMAlgorithmNode and
-    codeNode = op.getAnOutputArtifact()
-select op, "Non-AES-GCM instance."
\ No newline at end of file
+where
+  op.getAKnownAlgorithm() instanceof NonAESGCMAlgorithmNode and
+  codeNode = op.getAnOutputArtifact()
+select op, "Non-AES-GCM instance."
diff --git a/java/ql/src/experimental/quantum/Analysis/WeakKDFIterationCount.ql b/java/ql/src/experimental/quantum/Analysis/WeakKDFIterationCount.ql
index 3fd84c9ecc4..2dd5b0b006b 100644
--- a/java/ql/src/experimental/quantum/Analysis/WeakKDFIterationCount.ql
+++ b/java/ql/src/experimental/quantum/Analysis/WeakKDFIterationCount.ql
@@ -17,4 +17,4 @@ where
   op.getIterationCount().asElement() = l and
   l.getValue().toInt() < 100000
 select op, "Key derivation operation configures iteration count below 100k: $@", l,
-  l.getValue().toString()
\ No newline at end of file
+  l.getValue().toString()