diff --git a/java/ql/lib/semmle/code/java/dataflow/SSA.qll b/java/ql/lib/semmle/code/java/dataflow/SSA.qll
index 66be73a4c01..3576b710487 100644
--- a/java/ql/lib/semmle/code/java/dataflow/SSA.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/SSA.qll
@@ -228,9 +228,10 @@ class SsaImplicitUpdate extends SsaUpdate {
   }
 
   private predicate hasExplicitQualifierUpdate() {
-    exists(SsaExplicitUpdate qdef, BasicBlock bb, int i |
+    exists(SsaUpdate qdef, BasicBlock bb, int i |
       qdef.definesAt(this.getSourceVariable().getQualifier(), bb, i) and
-      this.definesAt(_, bb, i)
+      this.definesAt(_, bb, i) and
+      not qdef instanceof SsaUncertainImplicitUpdate
     )
   }