DFA instruction visitor refactoring wave#5 fixes

ResultOfInstruction

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

@@ -0,0 +1,9 @@
+import java.util.List;
+
+class Test {
+  void test(String type) {
+    if(type != null && (type.equals("foo") | type.equals("bar"))) {
+      System.out.println("Who knows");
+    }
+  }
+}

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

@@ -41,7 +41,7 @@ class S {
   }
   public void te5(boolean b){
     Boolean c = Boolean.TRUE;
-    boolean o = <warning descr="Condition 'b||c' is always 'true'">b||<warning descr="Condition 'c' is always 'true' when reached">c</warning></warning>;
+    boolean o = b||<warning descr="Condition 'c' is always 'true' when reached">c</warning>;
     if (<warning descr="Condition 'o' is always 'true'">o</warning>) {
     }
   }

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

@@ -0,0 +1,10 @@
+import java.util.List;
+
+class Test {
+  void test(String type) {
+    boolean uint = false;
+    if ("int".equals(type) || (uint = "uint".equals(type))) {
+      System.out.println("possible");
+    }
+  }
+}