From a69eaa0ea33f54b9abde649e1c1f4e8240027563 Mon Sep 17 00:00:00 2001
From: Ilya Chernikov <ilya.chernikov@jetbrains.com>
Date: Tue, 28 Nov 2023 10:16:53 +0100
Subject: [PATCH] K2 Scripting: fix testdata changed after script statements
 wrapping

---
 .../moreStatementsInCopy.context.txt          |   6 +-
 .../moreStatementsInCopy.fir.txt              |  19 +-
 .../testData/dependentCopy/script.context.txt |   2 +-
 .../testData/dependentCopy/script.fir.txt     |   5 +-
 .../dependentCopy/scriptFunction.context.txt  |   2 +-
 .../scriptInsideLastStatement.context.txt     |   2 +-
 .../scriptLastStatement.context.txt           |   2 +-
 .../scriptLastStatementCall.context.txt       |   2 +-
 .../dependentCopy/scriptStatement.context.txt |   6 +-
 .../scriptStatementCall.context.txt           |   6 +-
 .../fileStructure/script.lazy.resolve.txt     |  25 ++-
 .../secondLevelFunction.lazy.resolve.txt      |  36 ++--
 .../secondLevelFunction2.lazy.resolve.txt     |  36 ++--
 .../calls/compoundAssignOnVarScript.txt       |  16 +-
 .../getOrBuildFir/expressions/assignment.txt  |  34 ++--
 .../expressions/callInsideFunction.txt        |  10 +-
 .../expressions/callInsideStatement.txt       |  34 ++--
 .../wholeDeclaration/assignmentStatement.txt  |  34 ++--
 .../getOrBuildFir/wholeDeclaration/class.txt  |  10 +-
 .../wholeDeclaration/function.txt             |  10 +-
 .../wholeDeclaration/scriptInitializer.txt    |  76 +++----
 .../wholeDeclaration/statement.txt            |  76 +++----
 .../testData/lazyResolve/script.txt           | 191 ++++++++++++------
 .../testData/lazyResolve/script2.txt          | 129 ++++++++----
 .../testData/lazyResolve/script3.txt          | 136 +++++++++----
 .../testData/lazyResolve/statement.txt        |  70 ++++---
 .../lazyResolve/statementTransformation.txt   |  51 +++--
 .../scriptStatementLevel.after.txt            |  19 +-
 .../scriptStatementLevel.before.txt           |  19 +-
 .../scriptStatementLevel.lazyResolve.txt      | 159 +++------------
 ...orrectAccessorsPropagationScript.after.txt |   6 +-
 ...rrectAccessorsPropagationScript.before.txt |   6 +-
 ...AccessorsPropagationScript.lazyResolve.txt |  82 +++++---
 ...TypeFromIncorrectAccessorsScript.after.txt |   6 +-
 ...ypeFromIncorrectAccessorsScript.before.txt |   6 +-
 ...omIncorrectAccessorsScript.lazyResolve.txt |  82 +++++---
 .../declarations/script.lazyBodies.txt        |  17 +-
 ...cturingWithAnnotation.annotationOwners.txt |  12 +-
 ...DestructuringWithAnnotation.lazyBodies.txt |  11 +-
 ...tementLevelDestructuringWithAnnotation.txt |  19 +-
 ...tationAsLastStatement.annotationOwners.txt |  12 +-
 ...thAnnotationAsLastStatement.lazyBodies.txt |  20 +-
 ...ructuringWithAnnotationAsLastStatement.txt |  20 +-
 43 files changed, 865 insertions(+), 657 deletions(-)

diff --git a/analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.context.txt b/analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.context.txt
index c55bb519fe0..3804fad65ba 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.context.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.context.txt
@@ -31,11 +31,11 @@ Tower Data Context:
                 lval args: R|kotlin/Array<kotlin/String>|
 
                 public final fun scriptFunction(): R|kotlin/Int|
-                R|/scriptFunction|()
+                init
                 public final fun unusedScriptFunction(p: R|kotlin/String|): R|kotlin/Int|
-                R|/scriptFunction|()
+                init
                 public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
-                R|/foo|(R|/scriptFunction|(), <L> = foo@fun <anonymous>(it: R|kotlin/Int|): R|kotlin/Unit| <inline=NoInline> )
+                init
                 public final val $$result: R|kotlin/Int|
                     public get(): R|kotlin/Int|
                 Type: kotlin.script.templates.standard.ScriptTemplateWithArgs
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.fir.txt b/analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.fir.txt
index 0d09277dc39..deb63c3ed5c 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.fir.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.fir.txt
@@ -11,19 +11,28 @@ SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-moreStatementsInCopy.kts>
         ^scriptFunction Int(42)
     }
 
-    R|/scriptFunction|()
+    [ResolvedTo(BODY_RESOLVE)] init {
+        R|/scriptFunction|()
+    }
+
     public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun unusedScriptFunction([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] p: R|kotlin/String|): R|kotlin/Int| {
         ^unusedScriptFunction Int(22)
     }
 
-    R|/scriptFunction|()
+    [ResolvedTo(BODY_RESOLVE)] init {
+        R|/scriptFunction|()
+    }
+
     public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit| {
         action#(i#)
     }
 
-    R|/foo|(R|/scriptFunction|(), <L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function1<kotlin/Int, kotlin/Unit>] foo@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Unit| <inline=NoInline>  {
-        R|/scriptFunction|()
+    [ResolvedTo(BODY_RESOLVE)] init {
+        R|/foo|(R|/scriptFunction|(), <L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function1<kotlin/Int, kotlin/Unit>] foo@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Unit| <inline=NoInline>  {
+            R|/scriptFunction|()
+        }
+        )
     }
-    )
+
     public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/Int| = R|/unusedScriptFunction|(String(str))
         public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/script.context.txt b/analysis/low-level-api-fir/testData/dependentCopy/script.context.txt
index 8f6e6da2840..15302011885 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/script.context.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/script.context.txt
@@ -35,7 +35,7 @@ Tower Data Context:
                 public? final? class ScriptClass : R|kotlin/Any|
                 public final fun scriptFunction(): R|kotlin/Int|
                 public? final? fun unusedScriptFunction(p: String): <implicit>
-                R|/scriptFunction|()
+                init
                 public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
                 public final val $$result: R|kotlin/Unit|
                     public get(): R|kotlin/Unit|
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/script.fir.txt b/analysis/low-level-api-fir/testData/dependentCopy/script.fir.txt
index 2edad3d8a52..161edf59633 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/script.fir.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/script.fir.txt
@@ -23,7 +23,10 @@ SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-script.kts>
 
     public? final? [ResolvedTo(RAW_FIR)] fun unusedScriptFunction([ResolvedTo(RAW_FIR)] p: String): <implicit> { LAZY_BLOCK }
 
-    R|/scriptFunction|()
+    [ResolvedTo(BODY_RESOLVE)] init {
+        R|/scriptFunction|()
+    }
+
     public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit| {
         action#(i#)
     }
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/scriptFunction.context.txt b/analysis/low-level-api-fir/testData/dependentCopy/scriptFunction.context.txt
index 3b06fa2e0d0..a4502098451 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/scriptFunction.context.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/scriptFunction.context.txt
@@ -37,7 +37,7 @@ Tower Data Context:
                 public? final? class ScriptClass : R|kotlin/Any|
                 public? final? fun scriptFunction(): <implicit>
                 public? final? fun unusedScriptFunction(p: String): <implicit>
-                scriptFunction#()
+                init
                 public? final? fun foo(i: Int, action: ( (Int) -> Unit )): R|kotlin/Unit|
                 public final val $$result: <implicit>
                     public get(): <implicit>
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/scriptInsideLastStatement.context.txt b/analysis/low-level-api-fir/testData/dependentCopy/scriptInsideLastStatement.context.txt
index 1b083d35b6c..528e3e88be5 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/scriptInsideLastStatement.context.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/scriptInsideLastStatement.context.txt
@@ -35,7 +35,7 @@ Tower Data Context:
                 public? final? class ScriptClass : R|kotlin/Any|
                 public final fun scriptFunction(): R|kotlin/Int|
                 public? final? fun unusedScriptFunction(p: String): <implicit>
-                R|/scriptFunction|()
+                init
                 public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
                 public final val $$result: R|kotlin/Unit|
                     public get(): R|kotlin/Unit|
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatement.context.txt b/analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatement.context.txt
index 659d03d3d2f..e297b55ecce 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatement.context.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatement.context.txt
@@ -35,7 +35,7 @@ Tower Data Context:
                 public? final? class ScriptClass : R|kotlin/Any|
                 public final fun scriptFunction(): R|kotlin/Int|
                 public? final? fun unusedScriptFunction(p: String): <implicit>
-                R|/scriptFunction|()
+                init
                 public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
                 public final val $$result: R|kotlin/Unit|
                     public get(): R|kotlin/Unit|
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatementCall.context.txt b/analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatementCall.context.txt
index 6aca4a4d5fc..f4e48b43c2a 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatementCall.context.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatementCall.context.txt
@@ -35,7 +35,7 @@ Tower Data Context:
                 public? final? class ScriptClass : R|kotlin/Any|
                 public final fun scriptFunction(): R|kotlin/Int|
                 public? final? fun unusedScriptFunction(p: String): <implicit>
-                R|/scriptFunction|()
+                init
                 public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
                 public final val $$result: R|kotlin/Unit|
                     public get(): R|kotlin/Unit|
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/scriptStatement.context.txt b/analysis/low-level-api-fir/testData/dependentCopy/scriptStatement.context.txt
index b7f7110e4d1..97c378d8942 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/scriptStatement.context.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/scriptStatement.context.txt
@@ -35,9 +35,13 @@ Tower Data Context:
                 public? final? class ScriptClass : R|kotlin/Any|
                 public final fun scriptFunction(): R|kotlin/Int|
                 public? final? fun unusedScriptFunction(p: String): <implicit>
-                R|/scriptFunction|()
+                init
                 public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
                 public final val $$result: R|kotlin/Unit|
                     public get(): R|kotlin/Unit|
                 Type: kotlin.script.templates.standard.ScriptTemplateWithArgs
                 Label: <script>
+    Element 9
+        Scope: FirLocalScope
+    Element 10
+        Scope: FirLocalScope
diff --git a/analysis/low-level-api-fir/testData/dependentCopy/scriptStatementCall.context.txt b/analysis/low-level-api-fir/testData/dependentCopy/scriptStatementCall.context.txt
index e896dc772fe..49c8687b064 100644
--- a/analysis/low-level-api-fir/testData/dependentCopy/scriptStatementCall.context.txt
+++ b/analysis/low-level-api-fir/testData/dependentCopy/scriptStatementCall.context.txt
@@ -35,9 +35,13 @@ Tower Data Context:
                 public? final? class ScriptClass : R|kotlin/Any|
                 public final fun scriptFunction(): R|kotlin/Int|
                 public? final? fun unusedScriptFunction(p: String): <implicit>
-                R|/scriptFunction|()
+                init
                 public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
                 public final val $$result: R|kotlin/Unit|
                     public get(): R|kotlin/Unit|
                 Type: kotlin.script.templates.standard.ScriptTemplateWithArgs
                 Label: <script>
+    Element 9
+        Scope: FirLocalScope
+    Element 10
+        Scope: FirLocalScope
diff --git a/analysis/low-level-api-fir/testData/fileStructure/script.lazy.resolve.txt b/analysis/low-level-api-fir/testData/fileStructure/script.lazy.resolve.txt
index c63b399bd6a..c01ec318495 100644
--- a/analysis/low-level-api-fir/testData/fileStructure/script.lazy.resolve.txt
+++ b/analysis/low-level-api-fir/testData/fileStructure/script.lazy.resolve.txt
@@ -26,21 +26,24 @@ FILE: [ResolvedTo(BODY_RESOLVE)] script.kts
             ^build2 R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
diff --git a/analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction.lazy.resolve.txt b/analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction.lazy.resolve.txt
index 0da9bf9e716..a1dcbebf7aa 100644
--- a/analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction.lazy.resolve.txt
+++ b/analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction.lazy.resolve.txt
@@ -7,28 +7,30 @@ FILE: [ResolvedTo(BODY_RESOLVE)] secondLevelFunction.kts
             public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
             public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
 
-        when () {
-            Boolean(true) ->  {
-                local final [ResolvedTo(BODY_RESOLVE)] class LocalClass : R|kotlin/Any| {
-                    public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/LocalClass| {
-                        super<R|kotlin/Any|>()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            when () {
+                Boolean(true) ->  {
+                    local final [ResolvedTo(BODY_RESOLVE)] class LocalClass : R|kotlin/Any| {
+                        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/LocalClass| {
+                            super<R|kotlin/Any|>()
+                        }
+
+                        public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
+                            ^foo this@R|<local>/LocalClass|.R|<local>/boo|
+                        }
+
+                        private final [ResolvedTo(BODY_RESOLVE)] val boo: R|kotlin/Int| = Int(9)
+                            private [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
+
                     }
 
-                    public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
-                        ^foo this@R|<local>/LocalClass|.R|<local>/boo|
+                    [ResolvedTo(BODY_RESOLVE)] lval prop: R|kotlin/Int| = R|<local>/LocalClass.LocalClass|().R|<local>/foo|()
+                    local final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/Int|): R|kotlin/Int| {
+                        ^foo R|<local>/y|.R|kotlin/Int.plus|(Int(20))
                     }
 
-                    private final [ResolvedTo(BODY_RESOLVE)] val boo: R|kotlin/Int| = Int(9)
-                        private [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
-
+                    R|/x| = R|<local>/foo|(R|<local>/prop|)
                 }
-
-                [ResolvedTo(BODY_RESOLVE)] lval prop: R|kotlin/Int| = R|<local>/LocalClass.LocalClass|().R|<local>/foo|()
-                local final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/Int|): R|kotlin/Int| {
-                    ^foo R|<local>/y|.R|kotlin/Int.plus|(Int(20))
-                }
-
-                R|/x| = R|/foo|(R|<local>/prop|)
             }
         }
 
diff --git a/analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction2.lazy.resolve.txt b/analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction2.lazy.resolve.txt
index c1c79922af6..4f888ef7bc6 100644
--- a/analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction2.lazy.resolve.txt
+++ b/analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction2.lazy.resolve.txt
@@ -7,28 +7,30 @@ FILE: [ResolvedTo(BODY_RESOLVE)] secondLevelFunction2.kts
             public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
             public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
 
-        when () {
-            Boolean(true) ->  {
-                local final [ResolvedTo(BODY_RESOLVE)] class LocalClass : R|kotlin/Any| {
-                    public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/LocalClass| {
-                        super<R|kotlin/Any|>()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            when () {
+                Boolean(true) ->  {
+                    local final [ResolvedTo(BODY_RESOLVE)] class LocalClass : R|kotlin/Any| {
+                        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/LocalClass| {
+                            super<R|kotlin/Any|>()
+                        }
+
+                        public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
+                            ^foo this@R|<local>/LocalClass|.R|<local>/boo|
+                        }
+
+                        private final [ResolvedTo(BODY_RESOLVE)] val boo: R|kotlin/Int| = Int(9)
+                            private [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
+
                     }
 
-                    public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
-                        ^foo this@R|<local>/LocalClass|.R|<local>/boo|
+                    [ResolvedTo(BODY_RESOLVE)] lval prop: R|kotlin/Int| = R|<local>/LocalClass.LocalClass|().R|<local>/foo|()
+                    local final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/Int|): R|kotlin/Int| {
+                        ^foo R|<local>/y|.R|kotlin/Int.plus|(Int(20))
                     }
 
-                    private final [ResolvedTo(BODY_RESOLVE)] val boo: R|kotlin/Int| = Int(9)
-                        private [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
-
+                    R|/x| = R|<local>/foo|(R|<local>/prop|)
                 }
-
-                [ResolvedTo(BODY_RESOLVE)] lval prop: R|kotlin/Int| = R|<local>/LocalClass.LocalClass|().R|<local>/foo|()
-                local final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/Int|): R|kotlin/Int| {
-                    ^foo R|<local>/y|.R|kotlin/Int.plus|(Int(20))
-                }
-
-                R|/x| = R|/foo|(R|<local>/prop|)
             }
         }
 
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/calls/compoundAssignOnVarScript.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/calls/compoundAssignOnVarScript.txt
index 90f340a5e5a..32718377514 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/calls/compoundAssignOnVarScript.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/calls/compoundAssignOnVarScript.txt
@@ -1,17 +1,11 @@
 KT element: KtScriptInitializer
-FIR element: FirScriptImpl
+FIR element: FirAnonymousInitializerImpl
 FIR source kind: KtRealSourceElementKind
 
 FIR element rendered:
-context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
-SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-compoundAssignOnVarScript.kts>
-    [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
-
-    public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] var i: R|kotlin/Int| = Int(1)
-        public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
-        public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
-
+[ResolvedTo(BODY_RESOLVE)] init {
     R|/i| = R|/i|.R|kotlin/Int.plus|(Int(1))
+}
 
 FIR FILE:
 FILE: [ResolvedTo(IMPORTS)] compoundAssignOnVarScript.kts
@@ -23,4 +17,6 @@ FILE: [ResolvedTo(IMPORTS)] compoundAssignOnVarScript.kts
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
 
-        R|/i| = R|/i|.R|kotlin/Int.plus|(Int(1))
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/i| = R|/i|.R|kotlin/Int.plus|(Int(1))
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/assignment.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/assignment.txt
index 2e72a99fded..b04a476ef98 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/assignment.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/assignment.txt
@@ -30,26 +30,34 @@ FILE: [ResolvedTo(IMPORTS)] assignment.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
 
-        R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideFunction.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideFunction.txt
index 924ae485db3..f59c511dc82 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideFunction.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideFunction.txt
@@ -28,9 +28,13 @@ FILE: [ResolvedTo(IMPORTS)] callInsideFunction.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideStatement.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideStatement.txt
index 1301e152478..028baa92541 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideStatement.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideStatement.txt
@@ -30,26 +30,34 @@ FILE: [ResolvedTo(IMPORTS)] callInsideStatement.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
 
-        R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/assignmentStatement.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/assignmentStatement.txt
index 82f7dd36457..315412c15b9 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/assignmentStatement.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/assignmentStatement.txt
@@ -37,26 +37,34 @@ FILE: [ResolvedTo(IMPORTS)] assignmentStatement.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
 
-        R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/class.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/class.txt
index 97adc91f6cc..661b2eb29dd 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/class.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/class.txt
@@ -51,9 +51,13 @@ FILE: [ResolvedTo(IMPORTS)] class.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/function.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/function.txt
index e465b637083..5e3ab077ffb 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/function.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/function.txt
@@ -37,9 +37,13 @@ FILE: [ResolvedTo(IMPORTS)] function.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/scriptInitializer.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/scriptInitializer.txt
index 98dd9361d4d..212d0d3e332 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/scriptInitializer.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/scriptInitializer.txt
@@ -1,38 +1,9 @@
 KT element: KtScriptInitializer
-FIR element: FirScriptImpl
+FIR element: FirAnonymousInitializerImpl
 FIR source kind: KtRealSourceElementKind
 
 FIR element rendered:
-context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
-SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-scriptInitializer.kts>
-    [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
-
-    public open [ResolvedTo(STATUS)] class Builder : R|kotlin/Any| {
-        public [ResolvedTo(STATUS)] [ContainingClassKey=Builder] constructor(): R|Builder| {
-            LAZY_super<R|kotlin/Any|>
-        }
-
-        public final [ResolvedTo(CONTRACTS)] var version: R|kotlin/String| = String()
-            public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Builder] get(): R|kotlin/String|
-            public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Builder] set([ResolvedTo(CONTRACTS)] value: R|kotlin/String|): R|kotlin/Unit|
-
-        public final [ResolvedTo(CONTRACTS)] fun execute(): R|kotlin/Unit| {
-            println#(version#)
-        }
-
-        public? final? [ResolvedTo(RAW_FIR)] class NestedBuilder : Builder {
-            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=NestedBuilder] constructor(): R|Builder.NestedBuilder| {
-                LAZY_super<Builder>
-            }
-
-        }
-
-    }
-
-    public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun build([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] action: R|Builder.() -> kotlin/Unit|): R|Builder| {
-        ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
-    }
-
+[ResolvedTo(BODY_RESOLVE)] init {
     R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
         this@R|special/anonymous|.R|/Builder.version| = String(123)
         local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
@@ -48,14 +19,7 @@ SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-scriptInitializer.kts>
         this@R|special/anonymous|.R|/Builder.execute|()
     }
     )
-    public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-        this@R|special/anonymous|.R|/Builder.version| = String(321)
-    }
-    )
-        public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
-
-    R|/builder|.R|/Builder.execute|()
-    R|/builder|.R|/Builder.version| = String()
+}
 
 FIR FILE:
 FILE: [ResolvedTo(IMPORTS)] scriptInitializer.kts
@@ -89,26 +53,34 @@ FILE: [ResolvedTo(IMPORTS)] scriptInitializer.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
 
-        R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/statement.txt b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/statement.txt
index c74589514fe..649c46d7f94 100644
--- a/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/statement.txt
+++ b/analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/statement.txt
@@ -1,38 +1,9 @@
 KT element: KtScriptInitializer
-FIR element: FirScriptImpl
+FIR element: FirAnonymousInitializerImpl
 FIR source kind: KtRealSourceElementKind
 
 FIR element rendered:
-context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
-SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-statement.kts>
-    [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
-
-    public open [ResolvedTo(STATUS)] class Builder : R|kotlin/Any| {
-        public [ResolvedTo(STATUS)] [ContainingClassKey=Builder] constructor(): R|Builder| {
-            LAZY_super<R|kotlin/Any|>
-        }
-
-        public final [ResolvedTo(CONTRACTS)] var version: R|kotlin/String| = String()
-            public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Builder] get(): R|kotlin/String|
-            public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Builder] set([ResolvedTo(CONTRACTS)] value: R|kotlin/String|): R|kotlin/Unit|
-
-        public final [ResolvedTo(CONTRACTS)] fun execute(): R|kotlin/Unit| {
-            println#(version#)
-        }
-
-        public? final? [ResolvedTo(RAW_FIR)] class NestedBuilder : Builder {
-            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=NestedBuilder] constructor(): R|Builder.NestedBuilder| {
-                LAZY_super<Builder>
-            }
-
-        }
-
-    }
-
-    public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun build([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] action: R|Builder.() -> kotlin/Unit|): R|Builder| {
-        ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
-    }
-
+[ResolvedTo(BODY_RESOLVE)] init {
     R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
         this@R|special/anonymous|.R|/Builder.version| = String(123)
         local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
@@ -48,14 +19,7 @@ SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-statement.kts>
         this@R|special/anonymous|.R|/Builder.execute|()
     }
     )
-    public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-        this@R|special/anonymous|.R|/Builder.version| = String(321)
-    }
-    )
-        public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
-
-    R|/builder|.R|/Builder.execute|()
-    R|/builder|.R|/Builder.version| = String()
+}
 
 FIR FILE:
 FILE: [ResolvedTo(IMPORTS)] statement.kts
@@ -89,26 +53,34 @@ FILE: [ResolvedTo(IMPORTS)] statement.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
 
-        R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/lazyResolve/script.txt b/analysis/low-level-api-fir/testData/lazyResolve/script.txt
index ce9d2de9594..4335b63302e 100644
--- a/analysis/low-level-api-fir/testData/lazyResolve/script.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolve/script.txt
@@ -46,12 +46,17 @@ FILE: [ResolvedTo(RAW_FIR)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 IMPORTS:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -101,12 +106,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 COMPILER_REQUIRED_ANNOTATIONS:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -156,12 +166,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 COMPANION_GENERATION:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -211,12 +226,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 SUPER_TYPES:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -266,12 +286,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 TYPES:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -321,12 +346,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 STATUS:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -376,12 +406,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 EXPECT_ACTUAL_MATCHING:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -431,12 +466,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 CONTRACTS:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -486,12 +526,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 IMPLICIT_TYPES_BODY_RESOLVE:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -541,12 +586,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 ANNOTATION_ARGUMENTS:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -596,12 +646,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
 
         @Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
 
-        @Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        @Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
-        builder#.version# = String()
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            builder#.version# = String()
+        }
+
 
 BODY_RESOLVE:
 FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -655,29 +710,38 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        @R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                @R|Anno|[Types](s = Q|En|.R|/En.Entry|) public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            @R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    @R|Anno|[Types](s = Q|En|.R|/En.Entry|) public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
 
-        @R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            @R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
+
 
 FILE RAW TO BODY:
 FILE: [ResolvedTo(BODY_RESOLVE)] script.kts
@@ -731,26 +795,35 @@ FILE: [ResolvedTo(BODY_RESOLVE)] script.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        @R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                @R|Anno|[Types](s = Q|En|.R|/En.Entry|) public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            @R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    @R|Anno|[Types](s = Q|En|.R|/En.Entry|) public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(BODY_RESOLVE)] get(): R|Builder|
 
-        @R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            @R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
+
diff --git a/analysis/low-level-api-fir/testData/lazyResolve/script2.txt b/analysis/low-level-api-fir/testData/lazyResolve/script2.txt
index 2eb86cea2ae..7cbfc19ef58 100644
--- a/analysis/low-level-api-fir/testData/lazyResolve/script2.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolve/script2.txt
@@ -19,9 +19,12 @@ FILE: [ResolvedTo(RAW_FIR)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -59,9 +62,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -99,9 +105,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -139,9 +148,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -179,9 +191,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -219,9 +234,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -259,9 +277,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -299,9 +320,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -339,9 +363,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -379,9 +406,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -419,9 +449,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        consume#(LAZY_EXPRESSION)
-        x#!!
-        consume#(LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -460,9 +493,18 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
 
-        R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
-        R|/x|!!
-        R|/consume|(R|/x|.R|kotlin/Int.plus|(Int(1)))
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/x|!!
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
+        }
+
         public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -507,9 +549,18 @@ FILE: [ResolvedTo(BODY_RESOLVE)] script2.kts
             ^foo R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
         }
 
-        R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
-        R|/x|!!
-        R|/consume|(R|/x|.R|kotlin/Int.plus|(Int(1)))
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/x|!!
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
+        }
+
         public final [ResolvedTo(BODY_RESOLVE)] val zz: R|kotlin/Int| = R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
             public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
 
diff --git a/analysis/low-level-api-fir/testData/lazyResolve/script3.txt b/analysis/low-level-api-fir/testData/lazyResolve/script3.txt
index 9632e4b59eb..e3d89847aeb 100644
--- a/analysis/low-level-api-fir/testData/lazyResolve/script3.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolve/script3.txt
@@ -29,8 +29,12 @@ FILE: [ResolvedTo(RAW_FIR)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 IMPORTS:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -63,8 +67,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 COMPILER_REQUIRED_ANNOTATIONS:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -97,8 +105,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 COMPANION_GENERATION:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -131,8 +143,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 SUPER_TYPES:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -165,8 +181,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 TYPES:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -199,8 +219,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 STATUS:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -233,8 +257,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 EXPECT_ACTUAL_MATCHING:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -267,8 +295,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 CONTRACTS:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -301,8 +333,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 IMPLICIT_TYPES_BODY_RESOLVE:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -335,8 +371,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 ANNOTATION_ARGUMENTS:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -369,8 +409,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        build#(<L> = LAZY_EXPRESSION)
-        variable# = String(1)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init {
+            variable# = String(1)
+        }
+
 
 BODY_RESOLVE:
 FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -404,20 +448,26 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: R|kotlin/String|): R|kotlin/Unit|
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<kotlin/Unit>] build@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<kotlin/Unit>] build@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
+                    }
 
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
                 }
 
             }
-
+            )
         }
-        )
-        R|/variable| = String(1)
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/variable| = String(1)
+        }
+
 
 FILE RAW TO BODY:
 FILE: [ResolvedTo(BODY_RESOLVE)] script3.kts
@@ -455,17 +505,23 @@ FILE: [ResolvedTo(BODY_RESOLVE)] script3.kts
             public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|
             public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/String|): R|kotlin/Unit|
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<kotlin/Unit>] build@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<kotlin/Unit>] build@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
+                    }
 
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
                 }
 
             }
-
+            )
         }
-        )
-        R|/variable| = String(1)
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/variable| = String(1)
+        }
+
diff --git a/analysis/low-level-api-fir/testData/lazyResolve/statement.txt b/analysis/low-level-api-fir/testData/lazyResolve/statement.txt
index d997e3d27a7..85d5b1b8ed7 100644
--- a/analysis/low-level-api-fir/testData/lazyResolve/statement.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolve/statement.txt
@@ -23,29 +23,38 @@ FILE: [ResolvedTo(IMPORTS)] statement.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
 
-        R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
+
 
 FILE RAW TO BODY:
 FILE: [ResolvedTo(BODY_RESOLVE)] statement.kts
@@ -72,26 +81,35 @@ FILE: [ResolvedTo(BODY_RESOLVE)] statement.kts
             ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
         }
 
-        R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
-            this@R|special/anonymous|.R|/Builder.version| = String(123)
-            local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
-                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
-                    super<R|kotlin/Any|>()
-                }
-
-                public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                this@R|special/anonymous|.R|/Builder.version| = String(123)
+                local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
+                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
+                        super<R|kotlin/Any|>()
+                    }
+
+                    public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
+                    }
+
                 }
 
+                this@R|special/anonymous|.R|/Builder.execute|()
             }
-
-            this@R|special/anonymous|.R|/Builder.execute|()
+            )
         }
-        )
+
         public final [ResolvedTo(BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|/Builder.version| = String(321)
         }
         )
             public [ResolvedTo(BODY_RESOLVE)] get(): R|Builder|
 
-        R|/builder|.R|/Builder.execute|()
-        R|/builder|.R|/Builder.version| = String()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.execute|()
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/builder|.R|/Builder.version| = String()
+        }
+
diff --git a/analysis/low-level-api-fir/testData/lazyResolve/statementTransformation.txt b/analysis/low-level-api-fir/testData/lazyResolve/statementTransformation.txt
index 40adf398a3a..c2ad92113a3 100644
--- a/analysis/low-level-api-fir/testData/lazyResolve/statementTransformation.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolve/statementTransformation.txt
@@ -7,7 +7,8 @@ FILE: [ResolvedTo(RAW_FIR)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -20,7 +21,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -33,7 +35,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -46,7 +49,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -59,7 +63,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -72,7 +77,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -85,7 +91,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -98,7 +105,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -111,7 +119,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -124,7 +133,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -137,7 +147,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
         public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
 
-        myProp#(<L> = LAZY_EXPRESSION)
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -153,10 +164,13 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
 
             public [ResolvedTo(CONTRACTS)] get(): R|() -> kotlin/Unit|
 
-        R|/myProp|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function0.invoke>#|(<L> = [ResolvedTo(BODY_RESOLVE)] myProp@fun <anonymous>(): R|kotlin/Int| <inline=Unknown>  {
-            ^ Int(123)
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/myProp|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function0.invoke>#|(<L> = [ResolvedTo(BODY_RESOLVE)] myProp@fun <anonymous>(): R|kotlin/Int| <inline=Unknown>  {
+                ^ Int(123)
+            }
+            )
         }
-        )
+
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
 
@@ -172,9 +186,12 @@ FILE: [ResolvedTo(BODY_RESOLVE)] statementTransformation.kts
 
             public [ResolvedTo(BODY_RESOLVE)] get(): R|() -> kotlin/Unit|
 
-        R|/myProp|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function0.invoke>#|(<L> = [ResolvedTo(BODY_RESOLVE)] myProp@fun <anonymous>(): R|kotlin/Int| <inline=Unknown>  {
-            ^ Int(123)
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|/myProp|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function0.invoke>#|(<L> = [ResolvedTo(BODY_RESOLVE)] myProp@fun <anonymous>(): R|kotlin/Int| <inline=Unknown>  {
+                ^ Int(123)
+            }
+            )
         }
-        )
+
         public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
         }
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.after.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.after.txt
index f026d91234d..8fb69f484ae 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.after.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.after.txt
@@ -230,15 +230,18 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/String| = String(str)
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
 
-        when () {
-            Boolean(true) ->  {
-                @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
-                @R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
-                @R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
-                @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
-                @R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
-                @R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            when () {
+                Boolean(true) ->  {
+                    @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
+                    @R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
+                    @R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+                    @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
+                    @R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
+                    @R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+                }
             }
+
         }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.before.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.before.txt
index f026d91234d..8fb69f484ae 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.before.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.before.txt
@@ -230,15 +230,18 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/String| = String(str)
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
 
-        when () {
-            Boolean(true) ->  {
-                @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
-                @R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
-                @R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
-                @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
-                @R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
-                @R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            when () {
+                Boolean(true) ->  {
+                    @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
+                    @R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
+                    @R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+                    @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
+                    @R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
+                    @R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+                }
             }
+
         }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.lazyResolve.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.lazyResolve.txt
index 83713b555a9..4977589ad31 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.lazyResolve.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.lazyResolve.txt
@@ -39,16 +39,7 @@ FILE: [ResolvedTo(RAW_FIR)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -94,16 +85,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -149,16 +131,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -204,16 +177,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -259,16 +223,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -314,16 +269,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -369,16 +315,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -424,16 +361,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -479,16 +407,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -534,16 +453,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -589,16 +499,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
 
-        when () {
-            Boolean(true) ->  {
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
 
@@ -644,15 +545,18 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
         public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/String| = String(str)
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
 
-        when () {
-            Boolean(true) ->  {
-                @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
-                @R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
-                @R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
-                @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
-                @R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
-                @R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            when () {
+                Boolean(true) ->  {
+                    @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
+                    @R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
+                    @R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+                    @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
+                    @R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
+                    @R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+                }
             }
+
         }
 
         public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -699,15 +603,18 @@ FILE: [ResolvedTo(BODY_RESOLVE)] scriptStatementLevel.kts
         public final const [ResolvedTo(BODY_RESOLVE)] val prop: R|kotlin/String| = String(str)
             public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|
 
-        when () {
-            Boolean(true) ->  {
-                @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
-                @R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
-                @R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
-                @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
-                @R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
-                @R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+        [ResolvedTo(BODY_RESOLVE)] init {
+            when () {
+                Boolean(true) ->  {
+                    @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
+                    @R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
+                    @R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+                    @R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
+                    @R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|))  kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|))  kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
+                    @R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|))  kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|))  kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|))  kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
+                }
             }
+
         }
 
         public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.after.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.after.txt
index 20f8ddc536e..a4746c0f40c 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.after.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.after.txt
@@ -23,7 +23,9 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.before.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.before.txt
index 20f8ddc536e..a4746c0f40c 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.before.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.before.txt
@@ -23,7 +23,9 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.lazyResolve.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.lazyResolve.txt
index 18666c22e79..e5f1eb747eb 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.lazyResolve.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.lazyResolve.txt
@@ -24,8 +24,10 @@ FILE: [ResolvedTo(RAW_FIR)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -56,8 +58,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -88,8 +92,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -120,8 +126,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -152,8 +160,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -184,8 +194,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -216,8 +228,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -248,8 +262,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -280,8 +296,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
 
@@ -312,8 +330,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
 
@@ -344,8 +364,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
 
@@ -376,8 +398,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
 
@@ -408,7 +432,13 @@ FILE: [ResolvedTo(BODY_RESOLVE)] implicitTypeFromIncorrectAccessorsPropagationSc
             public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        <Unresolved name: set>#(<Unresolved name: value>#)
-        @R|low/Anno|[Types](position = <strcat>(String(setter parameter type ), R|low/prop|)) Q|kotlin/collections/List|
+        [ResolvedTo(BODY_RESOLVE)] init {
+            <Unresolved name: set>#(<Unresolved name: value>#)
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            @R|low/Anno|[Types](position = <strcat>(String(setter parameter type ), R|low/prop|)) Q|kotlin/collections/List|
+        }
+
         public final [ResolvedTo(BODY_RESOLVE)] val $$result: <ERROR TYPE REF: Unresolved name: value> = <Unresolved name: value>#
             public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: value>
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.after.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.after.txt
index 4d0730633bf..c50979e0a6e 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.after.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.after.txt
@@ -20,7 +20,9 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.before.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.before.txt
index 4d0730633bf..c50979e0a6e 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.before.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.before.txt
@@ -20,7 +20,9 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.lazyResolve.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.lazyResolve.txt
index 965a6fde978..89a516e2de8 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.lazyResolve.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.lazyResolve.txt
@@ -21,8 +21,10 @@ FILE: [ResolvedTo(RAW_FIR)] implicitTypeFromIncorrectAccessorsScript.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -50,8 +52,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public? [ResolvedTo(RAW_FIR)] get(): <implicit>
             public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -79,8 +83,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): <implicit>
             public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] set([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -108,8 +114,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public? [ResolvedTo(COMPANION_GENERATION)] get(): <implicit>
             public? [ResolvedTo(COMPANION_GENERATION)] set([ResolvedTo(COMPANION_GENERATION)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -137,8 +145,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public? [ResolvedTo(SUPER_TYPES)] get(): <implicit>
             public? [ResolvedTo(SUPER_TYPES)] set([ResolvedTo(SUPER_TYPES)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -166,8 +176,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public? [ResolvedTo(TYPES)] get(): <implicit>
             public? [ResolvedTo(TYPES)] set([ResolvedTo(TYPES)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -195,8 +207,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(STATUS)] get(): <implicit>
             public [ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -224,8 +238,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): <implicit>
             public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] set([ResolvedTo(EXPECT_ACTUAL_MATCHING)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
             public [ResolvedTo(RAW_FIR)] get(): <implicit>
 
@@ -253,8 +269,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(CONTRACTS)] get(): <implicit>
             public [ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] value: <implicit>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
 
@@ -282,8 +300,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
 
@@ -311,8 +331,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(ANNOTATION_ARGUMENTS)] set([ResolvedTo(ANNOTATION_ARGUMENTS)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
 
@@ -340,8 +362,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        set#(LAZY_EXPRESSION)
-        @Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
         public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
             public [ResolvedTo(TYPES)] get(): <implicit>
 
@@ -369,7 +393,13 @@ FILE: [ResolvedTo(BODY_RESOLVE)] implicitTypeFromIncorrectAccessorsScript.kts
             public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
             public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
 
-        <Unresolved name: set>#(<Unresolved name: value>#)
-        @R|low/Anno|[Types](position = <strcat>(String(setter parameter type ), R|low/prop|)) Q|kotlin/collections/List|
+        [ResolvedTo(BODY_RESOLVE)] init {
+            <Unresolved name: set>#(<Unresolved name: value>#)
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            @R|low/Anno|[Types](position = <strcat>(String(setter parameter type ), R|low/prop|)) Q|kotlin/collections/List|
+        }
+
         public final [ResolvedTo(BODY_RESOLVE)] val $$result: <ERROR TYPE REF: Unresolved name: value> = <Unresolved name: value>#
             public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: value>
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/script.lazyBodies.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/script.lazyBodies.txt
index b5c2049fb04..ce8f7206184 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/script.lazyBodies.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/script.lazyBodies.txt
@@ -29,11 +29,18 @@ FILE: script.kts
 
         public? final? fun build2(action: ( Builder.() -> Unit )): Builder { LAZY_BLOCK }
 
-        build#(<L> = LAZY_EXPRESSION)
-        +=(version#, IntegerLiteral(123))
+        init { LAZY_BLOCK }
+
+        init { LAZY_BLOCK }
+
         public? final? val builder: <implicit> = LAZY_EXPRESSION
             public? get(): <implicit>
 
-        println#()
-        builder#.version# = String()
-        builder#.execute#()
+        init { LAZY_BLOCK }
+
+        init { LAZY_BLOCK }
+
+        init {
+            builder#.execute#()
+        }
+
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.annotationOwners.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.annotationOwners.txt
index f29f511097c..c3ea7530962 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.annotationOwners.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.annotationOwners.txt
@@ -1,23 +1,23 @@
 @DestrAnno(<strcat>(String(destr 1 ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
-context -> FirPropertySymbol <local>/<destruct> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
+context -> FirPropertySymbol <local>/<destruct> from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
 
 @LeftAnno(<strcat>(String(a ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
-context -> FirPropertySymbol <local>/a from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
+context -> FirPropertySymbol <local>/a from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
 
 @RightAnno(<strcat>(String(b ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
-context -> FirPropertySymbol <local>/b from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
+context -> FirPropertySymbol <local>/b from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
 
 @Destr2Anno(<strcat>(String(destr 1 ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
-context -> FirPropertySymbol <local>/<destruct> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
+context -> FirPropertySymbol <local>/<destruct> from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
 
 @SecondLeftAnno(<strcat>(String(c ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
-context -> FirPropertySymbol <local>/c from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
+context -> FirPropertySymbol <local>/c from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
 
 @SecondRightAnno(<strcat>(String(d ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
-context -> FirPropertySymbol <local>/d from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
+context -> FirPropertySymbol <local>/d from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
\ No newline at end of file
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.lazyBodies.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.lazyBodies.txt
index b8705488f69..07f57c009ae 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.lazyBodies.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.lazyBodies.txt
@@ -1,15 +1,6 @@
 FILE: scriptStatementLevelDestructuringWithAnnotation.kts
     SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotation.kts>
 
-        when () {
-            Boolean(true) ->  {
-                @DestrAnno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
-                @LeftAnno(LAZY_EXPRESSION) lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @RightAnno(LAZY_EXPRESSION) lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Destr2Anno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
-                @SecondLeftAnno(LAZY_EXPRESSION) lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @SecondRightAnno(LAZY_EXPRESSION) lval d: <implicit> = R|<local>/<destruct>|.component2#()
-            }
-        }
+        init { LAZY_BLOCK }
 
         public? final? fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.txt
index fd3ab9c825a..3bc6a834b74 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.txt
@@ -1,15 +1,18 @@
 FILE: scriptStatementLevelDestructuringWithAnnotation.kts
     SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotation.kts>
 
-        when () {
-            Boolean(true) ->  {
-                @DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
-                @LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
-                @SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
+        init {
+            when () {
+                Boolean(true) ->  {
+                    @DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
+                    @LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
+                    @RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
+                    @Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
+                    @SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
+                    @SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
+                }
             }
+
         }
 
         public? final? fun foo(): R|kotlin/Unit| {
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.annotationOwners.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.annotationOwners.txt
index 00be3630819..90e3d53ab2d 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.annotationOwners.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.annotationOwners.txt
@@ -1,23 +1,23 @@
 @DestrAnno(<strcat>(String(destr 1 ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
-context -> FirPropertySymbol <local>/<destruct> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
+context -> FirPropertySymbol <local>/<destruct> from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
 
 @LeftAnno(<strcat>(String(a ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
-context -> FirPropertySymbol <local>/a from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
+context -> FirPropertySymbol <local>/a from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
 
 @RightAnno(<strcat>(String(b ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
-context -> FirPropertySymbol <local>/b from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
+context -> FirPropertySymbol <local>/b from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
 
 @Destr2Anno(<strcat>(String(destr 1 ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
-context -> FirPropertySymbol <local>/<destruct> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
+context -> FirPropertySymbol <local>/<destruct> from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
 
 @SecondLeftAnno(<strcat>(String(c ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
-context -> FirPropertySymbol <local>/c from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
+context -> FirPropertySymbol <local>/c from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
 
 @SecondRightAnno(<strcat>(String(d ), prop#))
 owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
-context -> FirPropertySymbol <local>/d from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
+context -> FirPropertySymbol <local>/d from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
\ No newline at end of file
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.lazyBodies.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.lazyBodies.txt
index 00c2f3da919..f53dca17571 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.lazyBodies.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.lazyBodies.txt
@@ -1,13 +1,17 @@
 FILE: scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
     SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
 
-        when () {
-            Boolean(true) ->  {
-                @DestrAnno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
-                @LeftAnno(LAZY_EXPRESSION) lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @RightAnno(LAZY_EXPRESSION) lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Destr2Anno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
-                @SecondLeftAnno(LAZY_EXPRESSION) lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @SecondRightAnno(LAZY_EXPRESSION) lval d: <implicit> = R|<local>/<destruct>|.component2#()
+        init {
+            when () {
+                Boolean(true) ->  {
+                    @DestrAnno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
+                    @LeftAnno(LAZY_EXPRESSION) lval a: <implicit> = R|<local>/<destruct>|.component1#()
+                    @RightAnno(LAZY_EXPRESSION) lval b: <implicit> = R|<local>/<destruct>|.component2#()
+                    @Destr2Anno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
+                    @SecondLeftAnno(LAZY_EXPRESSION) lval c: <implicit> = R|<local>/<destruct>|.component1#()
+                    @SecondRightAnno(LAZY_EXPRESSION) lval d: <implicit> = R|<local>/<destruct>|.component2#()
+                }
             }
+
         }
+
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.txt
index fc402a6bca0..5cacccd5381 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.txt
@@ -1,13 +1,17 @@
 FILE: scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
     SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
 
-        when () {
-            Boolean(true) ->  {
-                @DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
-                @LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
-                @RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
-                @Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
-                @SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
-                @SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
+        init {
+            when () {
+                Boolean(true) ->  {
+                    @DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
+                    @LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
+                    @RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
+                    @Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
+                    @SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
+                    @SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
+                }
             }
+
         }
+