diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaFactType.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaFactType.java
index b4b884a34783..5382f02d88e5 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaFactType.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaFactType.java
@@ -54,6 +54,11 @@ public abstract class DfaFactType<T> extends Key<T> {
       return super.getPresentationText(fact, type);
     }
 
+    @Override
+    boolean isSuper(@Nullable Boolean superFact, @Nullable Boolean subFact) {
+      return (superFact == null && Boolean.FALSE.equals(subFact)) || super.isSuper(superFact, subFact);
+    }
+
     @Nullable
     @Override
     Boolean intersectFacts(@NotNull Boolean left, @NotNull Boolean right) {