IDEA-209947 Deduce relation from two relations

GitOrigin-RevId: 20dc114f438cd5ab11c2aa103af8c7ed820cc4d4

java/java-tests/testData/inspection/dataFlow/tracker/BasedOnPreviousRelation.java

@@ -0,0 +1,17 @@
+/*
+Value is always false (b == c; line#14)
+  Condition 'b != c' was deduced
+    Condition 'b != a' was checked before (a == b; line#11)
+    and condition 'c == a' was checked before (c == a; line#13)
+ */
+
+public class T {
+
+  void test(int a, int b, int c) {
+    if(a == b) {
+
+    } else if (c == a) {
+      if (<selection>b == c</selection>) {}
+    }
+  }
+}