Update check files with new wording

Author: Xavientois

tests/init/neg/closureLeak.check

@@ -1,7 +1,7 @@
 -- Error: tests/init/neg/closureLeak.scala:11:14 -----------------------------------------------------------------------
 11 |    l.foreach(a => a.addX(this)) // error
    |              ^^^^^^^^^^^^^^^^^
-   |              Cannot prove that the value is fully-initialized. May only use initialized value as arguments.
+   |              Cannot prove that the value is fully-initialized. Only initialized values may be used as arguments.
    |
    |              The unsafe promotion may cause the following problem:
-   |              Cannot prove that the value is fully initialized. May only use initialized value as arguments.
+   |              Cannot prove that the value is fully initialized. Only initialized values may be used as arguments.

tests/init/neg/cycle-structure.check

@@ -1,14 +1,8 @@
--- Error: tests/init/neg/cycle-structure.scala:2:15 --------------------------------------------------------------------
-2 |    val x1 = b.x      // error
-  |             ^^^
-  |             Access field A.this.b.x on a value with an unknown initialization status. Calling trace:
-  |              -> val x = A(this)	[ cycle-structure.scala:9 ]
-  |               -> case class A(b: B) {	[ cycle-structure.scala:1 ]
--- Error: tests/init/neg/cycle-structure.scala:8:15 --------------------------------------------------------------------
-8 |    val x1 = a.x      // error
-  |             ^^^
-  |             Access field B.this.a.x on a value with an unknown initialization status. Calling trace:
-  |              -> val x = A(this)	[ cycle-structure.scala:9 ]
-  |               -> case class A(b: B) {	[ cycle-structure.scala:1 ]
-  |                -> val x = B(this)	[ cycle-structure.scala:3 ]
-  |                 -> case class B(a: A) {	[ cycle-structure.scala:7 ]
+-- Error: tests/init/neg/cycle-structure.scala:9:14 --------------------------------------------------------------------
+9 |    val x = A(this) // error
+  |              ^^^^
+  |              Cannot prove that the value is fully initialized. Only initialized values may be used as arguments.
+-- Error: tests/init/neg/cycle-structure.scala:3:14 --------------------------------------------------------------------
+3 |    val x = B(this) // error
+  |              ^^^^
+  |              Cannot prove that the value is fully initialized. Only initialized values may be used as arguments.

tests/init/neg/default-this.check

@@ -1,5 +1,5 @@
 -- Error: tests/init/neg/default-this.scala:9:8 ------------------------------------------------------------------------
 9 |        compare() // error
   |        ^^^^^^^
-  |     Cannot prove that the value is fully initialized. May only use initialized value as arguments. Calling trace:
+  |     Cannot prove that the value is fully initialized. Only initialized values may be used as arguments. Calling trace:
   |      -> val result = updateThenCompare(5)	[ default-this.scala:11 ]

tests/init/neg/promotion-loop.check

@@ -1,7 +1,7 @@
 -- Error: tests/init/neg/promotion-loop.scala:16:10 --------------------------------------------------------------------
 16 |  println(b)      // error
    |          ^
-   |          Cannot prove that the value is fully-initialized. May only use initialized value as arguments.
+   |          Cannot prove that the value is fully-initialized. Only initialized values may be used as arguments.
    |
    |          The unsafe promotion may cause the following problem:
-   |          Cannot prove that the value is fully initialized. May only use initialized value as arguments.
+   |          Cannot prove that the value is fully initialized. Only initialized values may be used as arguments.

tests/init/neg/t3273.check

@@ -1,15 +1,15 @@
 -- Error: tests/init/neg/t3273.scala:4:42 ------------------------------------------------------------------------------
 4 |  val num1: LazyList[Int] = 1 #:: num1.map(_ + 1)                        // error
   |                                  ^^^^^^^^^^^^^^^
-  |             Cannot prove that the value is fully-initialized. May only use initialized value as arguments.
+  |             Cannot prove that the value is fully-initialized. Only initialized values may be used as arguments.
   |
   |             The unsafe promotion may cause the following problem:
   |             Access non-initialized value num1. Calling trace:
   |              -> val num1: LazyList[Int] = 1 #:: num1.map(_ + 1)                        // error	[ t3273.scala:4 ]
 -- Error: tests/init/neg/t3273.scala:5:61 ------------------------------------------------------------------------------
 5 |  val num2: LazyList[Int] = 1 #:: num2.iterator.map(_ + 1).to(LazyList)  // error
   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-  |             Cannot prove that the value is fully-initialized. May only use initialized value as arguments.
+  |             Cannot prove that the value is fully-initialized. Only initialized values may be used as arguments.
   |
   |             The unsafe promotion may cause the following problem:
   |             Access non-initialized value num2. Calling trace: