TrackingRunner: cosmetic changes in messages

GitOrigin-RevId: ebb7fff3703d0b674741ceabc9079f9feace2b0d

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/TrackingRunner.java

@@ -850,7 +850,7 @@ public class TrackingRunner extends StandardDataFlowRunner {
           return item;
         }
       }
-      return new CauseItem(new CustomDfaProblemType("result of '" + condition + "' is known from #ref"), expression);
+      return new CauseItem(new CustomDfaProblemType("it's known that '" + condition + "' from #ref"), expression);
     }
     return null;
   }

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

@@ -2,8 +2,8 @@
 Value is always false (b.equals("x"); line#15)
   According to hard-coded contract, method 'equals' returns 'false' value when this != parameter (equals; line#15)
     Condition 'b != "x"' was deduced
-      Result of 'b != a' is known from line #12 (a.equals(b); line#12)
-      and result of 'a == "x"' is known from line #14 (a.equals("x"); line#14)
+      It's known that 'b != a' from line #12 (a.equals(b); line#12)
+      and it's known that 'a == "x"' from line #14 (a.equals("x"); line#14)
  */
 
 public class T {

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

@@ -1,6 +1,6 @@
 /*
 Value is always false (s == null; line#11)
-  Result of 's != null' is known from line #10 (!"foo".equals(s) && !"bar".equals(s); line#10)
+  It's known that 's != null' from line #10 (!"foo".equals(s) && !"bar".equals(s); line#10)
  */
 
 import java.util.List;