Actualize contracts diagnostic spec tests after 051ad0f79e

compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlFlow/initialization/pos/5.txt

@@ -0,0 +1,9 @@
+package
+
+public fun case_1(): kotlin.Unit
+
+package contracts {
+    public fun case_1(/*0*/ x: kotlin.Double = ..., /*1*/ block: () -> kotlin.Unit): kotlin.Double
+        CallsInPlace(block, EXACTLY_ONCE)
+
+}

compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlFlow/unreachableCode/pos/7.txt

@@ -0,0 +1,9 @@
+package
+
+public fun case_1(): kotlin.Unit
+
+package contracts {
+    public fun case_1(/*0*/ x: kotlin.Double = ..., /*1*/ block: () -> kotlin.Unit): kotlin.Double
+        CallsInPlace(block, AT_LEAST_ONCE)
+
+}