FIR checker: make property init analyzer path-sensitive

In particular, exception throwing path after finally block is
distinguished via path label.

KT-42350 Fixed

compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInTryWithCatch.fir.kt

@@ -27,7 +27,7 @@ fun assignedInTryAndCatch() {
         a = 41
     } finally {
     }
-    <!UNINITIALIZED_VARIABLE!>a<!>.hashCode()
+    a.hashCode()
 }
 
 fun sideEffectBeforeAssignedInTryAndCatch(s: Any) {
@@ -40,7 +40,7 @@ fun sideEffectBeforeAssignedInTryAndCatch(s: Any) {
         a = 41
     } finally {
     }
-    <!UNINITIALIZED_VARIABLE!>a<!>.hashCode()
+    a.hashCode()
 }
 
 fun assignedAtAll() {

compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInTryWithoutCatch.fir.kt

@@ -4,7 +4,7 @@ fun assignedInTry() {
         a = 42
     } finally {
     }
-    <!UNINITIALIZED_VARIABLE!>a<!>.hashCode()
+    a.hashCode()
 }
 
 fun sideEffectBeforeAssignmentInTry(s: Any) {
@@ -14,7 +14,7 @@ fun sideEffectBeforeAssignmentInTry(s: Any) {
         a = 42
     } finally {
     }
-    <!UNINITIALIZED_VARIABLE!>a<!>.hashCode()
+    a.hashCode()
 }
 
 fun assignedInTryAndFinally() {