dfa: don't grow stack infinitely on &= (IDEA-118522)

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

@@ -0,0 +1,11 @@
+import java.util.List;
+
+class Some {
+  public static void appendTokenTypes(StringBuilder sb, List<String> tokenTypes) {
+    for (int count = 0, line = 0, size = tokenTypes.size(); count < size; count++) {
+      boolean newLine = count == 2 || <warning descr="Condition 'line > 0' is always 'false' when reached">line > 0</warning> && (count - 2) % 6 == 0;
+      newLine &= (size - count) > 2;
+    }
+  }
+
+}