interface I {
  Object CONST = new Object();
}

class C {
  void foo(Object o) {
    if (o == I.CONST) return;
    if (<warning descr="Condition 'o != I.CONST' is always 'true'">o != I.CONST</warning>) return;
  }
}
@@ -104,16 +104,37 @@
 return;%0A
+    unknownMethod();%0A
     if (
@@ -227,10 +227,42 @@
 urn;%0A  %7D
+%0A%0A  native void unknownMethod();
 %0A%7D

make dfa test stronger (IDEA-CR-22962)