NotNullValues mustn't end up in equivalence classes table.

java/java-tests/testData/inspection/dataFlow/fixture/AnnReport.java

@@ -0,0 +1,21 @@
+import org.jetbrains.annotations.NotNull;
+
+public class ASD {
+  static void foo(Object any) {
+    boolean a = false;
+    boolean b = false;
+    while (true) {
+      boolean trg = bar() == any;
+
+      a = a || trg;
+      b = b || !trg;
+
+      if (b && a) break;
+    }
+  }
+
+  @NotNull
+  static Object bar() {
+    return new Object();
+  }
+}

java/java-tests/testSrc/com/intellij/codeInspection/DataFlowInspectionFixtureTest.java

@@ -50,6 +50,7 @@ public class DataFlowInspectionFixtureTest extends JavaCodeInsightFixtureTestCas
   public void testFieldInAnonymous() throws Throwable { doTest(); }
   public void testNullableField() throws Throwable { doTest(); }
   public void testCanBeNullDoesntImplyIsNull() throws Throwable { doTest(); }
+  public void testAnnReport() throws Throwable { doTest(); }
 
   public void testBigMethodNotComplex() throws Throwable { doTest(); }
 }