diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromFunction.kts b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromFunction.kts
new file mode 100644
index 00000000000..4793192b772
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromFunction.kts
@@ -0,0 +1 @@
+fun foo() = <expr>args.size</expr>
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromFunction.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromFunction.txt
new file mode 100644
index 00000000000..2dac75e6ce9
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromFunction.txt
@@ -0,0 +1,16 @@
+KT element: KtDotQualifiedExpression
+FIR element: FirPropertyAccessExpressionImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+<Unresolved name: args>#.<Unresolved name: size>#
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] argsFromFunction.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun foo(): <ERROR TYPE REF: Unresolved name: size> {
+            ^foo <Unresolved name: args>#.<Unresolved name: size>#
+        }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromInit.kts b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromInit.kts
new file mode 100644
index 00000000000..b27e960c227
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromInit.kts
@@ -0,0 +1,7 @@
+class A {
+    init {
+        foo {
+            <expr>args.size</expr>
+        }
+    }
+}
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromInit.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromInit.txt
new file mode 100644
index 00000000000..7110d76d0a3
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromInit.txt
@@ -0,0 +1,28 @@
+KT element: KtBlockExpression
+FIR element: FirBlockImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+ {
+    ^ <Unresolved name: args>#.<Unresolved name: size>#
+}
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] argsFromInit.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
+            public [ResolvedTo(STATUS)] [ContainingClassKey=A] constructor(): R|A| {
+                super<R|kotlin/Any|>()
+            }
+
+            init {
+                <Unresolved name: foo>#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <anonymous>(): <ERROR TYPE REF: Unresolved name: size> <inline=Unknown>  {
+                    ^ <Unresolved name: args>#.<Unresolved name: size>#
+                }
+                )
+            }
+
+        }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberFunction.kts b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberFunction.kts
new file mode 100644
index 00000000000..dcb18f882d2
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberFunction.kts
@@ -0,0 +1,5 @@
+class A {
+    fun foo() {
+        <expr>args.size</expr>
+    }
+}
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberFunction.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberFunction.txt
new file mode 100644
index 00000000000..d35f304e311
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberFunction.txt
@@ -0,0 +1,23 @@
+KT element: KtDotQualifiedExpression
+FIR element: FirPropertyAccessExpressionImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+<Unresolved name: args>#.<Unresolved name: size>#
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] argsFromMemberFunction.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
+            public [ResolvedTo(STATUS)] [ContainingClassKey=A] constructor(): R|A| {
+                super<R|kotlin/Any|>()
+            }
+
+            public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
+                <Unresolved name: args>#.<Unresolved name: size>#
+            }
+
+        }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberProperty.kts b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberProperty.kts
new file mode 100644
index 00000000000..08219490227
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberProperty.kts
@@ -0,0 +1,6 @@
+class A {
+    val i: Int
+        get() {
+            return <expr>args.size</expr>
+        }
+}
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberProperty.txt
new file mode 100644
index 00000000000..dc2d1186385
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberProperty.txt
@@ -0,0 +1,24 @@
+KT element: KtDotQualifiedExpression
+FIR element: FirPropertyAccessExpressionImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+<Unresolved name: args>#.<Unresolved name: size>#
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] argsFromMemberProperty.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
+            public [ResolvedTo(STATUS)] [ContainingClassKey=A] constructor(): R|A| {
+                super<R|kotlin/Any|>()
+            }
+
+            public final [ResolvedTo(BODY_RESOLVE)] val i: R|kotlin/Int|
+                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] get(): R|kotlin/Int| {
+                    ^ <Unresolved name: args>#.<Unresolved name: size>#
+                }
+
+        }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromProperty.kts b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromProperty.kts
new file mode 100644
index 00000000000..cd007d3b6fc
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromProperty.kts
@@ -0,0 +1 @@
+val bar = <expr>args.size</expr>
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromProperty.txt
new file mode 100644
index 00000000000..17ea14a4f02
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromProperty.txt
@@ -0,0 +1,15 @@
+KT element: KtDotQualifiedExpression
+FIR element: FirPropertyAccessExpressionImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+<Unresolved name: args>#.<Unresolved name: size>#
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] argsFromProperty.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(BODY_RESOLVE)] val bar: <ERROR TYPE REF: Unresolved name: size> = <Unresolved name: args>#.<Unresolved name: size>#
+            public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: size>
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromStatement.kts b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromStatement.kts
new file mode 100644
index 00000000000..94899a8186b
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromStatement.kts
@@ -0,0 +1,4 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtDotQualifiedExpression
+foo {
+    <expr>args.size</expr>
+}
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromStatement.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromStatement.txt
new file mode 100644
index 00000000000..0b1e298945e
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromStatement.txt
@@ -0,0 +1,18 @@
+KT element: KtDotQualifiedExpression
+FIR element: FirPropertyAccessExpressionImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+R|<local>/args|.R|SubstitutionOverride<kotlin/Array.size: R|kotlin/Int|>|
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] argsFromStatement.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)]
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: <ERROR TYPE REF: Unresolved name: foo> = <Unresolved name: foo>#(<L> = [ResolvedTo(BODY_RESOLVE)] foo@fun <anonymous>(): R|kotlin/Int| <inline=Unknown>  {
+            ^ R|<local>/args|.R|SubstitutionOverride<kotlin/Array.size: R|kotlin/Int|>|
+        }
+        )
+            public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: foo>
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callOnePropertyFromAnother.kts b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callOnePropertyFromAnother.kts
new file mode 100644
index 00000000000..b1ae708aa6f
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callOnePropertyFromAnother.kts
@@ -0,0 +1,2 @@
+val foo = "foo"
+val bar = <expr>foo</expr>
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callOnePropertyFromAnother.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callOnePropertyFromAnother.txt
new file mode 100644
index 00000000000..f8bd4c7e359
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callOnePropertyFromAnother.txt
@@ -0,0 +1,18 @@
+KT element: KtNameReferenceExpression
+FIR element: FirPropertyAccessExpressionImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+<Unresolved name: foo>#
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] callOnePropertyFromAnother.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] val foo: <implicit> = String(foo)
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(BODY_RESOLVE)] val bar: <ERROR TYPE REF: Unresolved name: foo> = <Unresolved name: foo>#
+            public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: foo>
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/syntheticResultDeclaration.kts b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/syntheticResultDeclaration.kts
new file mode 100644
index 00000000000..efa42a753e8
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/syntheticResultDeclaration.kts
@@ -0,0 +1,3 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtCallExpression
+fun foo() = 24
+<expr>foo()</expr>
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/syntheticResultDeclaration.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/syntheticResultDeclaration.txt
new file mode 100644
index 00000000000..4c9820ad3fd
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/syntheticResultDeclaration.txt
@@ -0,0 +1,20 @@
+KT element: KtCallExpression
+FIR element: FirPropertyImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/Int| = R|/foo|()
+    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)]
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
+            ^foo Int(24)
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/Int| = R|/foo|()
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/script4.kts b/analysis/low-level-api-fir/testdata/lazyResolve/script4.kts
new file mode 100644
index 00000000000..b0e262f7036
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/script4.kts
@@ -0,0 +1,14 @@
+// RESOLVE_SCRIPT
+
+class Builder {
+    var version: String = ""
+}
+
+fun build(action: Builder.() -> Unit) = Builder().apply(action)
+
+val builder = build {
+    version = "321"
+}
+
+@Suppress("abc") @Deprecated("it is deprecated")
+builder.execute()
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/script4.txt b/analysis/low-level-api-fir/testdata/lazyResolve/script4.txt
new file mode 100644
index 00000000000..a7257dabeea
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/script4.txt
@@ -0,0 +1,433 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] script4.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(COMPANION_GENERATION)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(SUPER_TYPES)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(TYPES)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(STATUS)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(EXPECT_ACTUAL_MATCHING)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ARGUMENTS_OF_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(CONTRACTS)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ANNOTATIONS_ARGUMENTS_MAPPING:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = build#(<L> = [ResolvedTo(RAW_FIR)] build@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            version# = String(321)
+        }
+        )
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = @Suppress[Unresolved](String(abc)) @Deprecated[Unresolved](String(it is deprecated)) builder#.execute#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)]
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] class Builder : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] var version: String = String()
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] get(): String
+                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Builder] set([ResolvedTo(RAW_FIR)] value: String): R|kotlin/Unit|
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> {
+            ^build Builder#().apply#(action#)
+        }
+
+        public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: <ERROR TYPE REF: Ambiguity: build, [kotlin/collections/build, kotlin/collections/build, kotlin/collections/build]> = <Ambiguity: build, [kotlin/collections/build, kotlin/collections/build, kotlin/collections/build]>#(<L> = [ResolvedTo(RAW_FIR)] build@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown>  {
+            <Unresolved name: version># = String(321)
+        }
+        )
+            public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Ambiguity: build, [kotlin/collections/build, kotlin/collections/build, kotlin/collections/build]>
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: <ERROR TYPE REF: Unresolved name: execute> = @R|kotlin/Suppress|[Types](names = vararg(String(abc))) @R|kotlin/Deprecated|[Types](message = String(it is deprecated)) R|/builder|.<Unresolved name: execute>#()
+            public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: execute>
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(IMPORTS)] script4.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)]
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(BODY_RESOLVE)] class Builder : R|kotlin/Any| {
+            public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Builder] constructor(): R|Builder| {
+                super<R|kotlin/Any|>()
+            }
+
+            public final [ResolvedTo(BODY_RESOLVE)] var version: R|kotlin/String| = String()
+                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Builder] get(): R|kotlin/String|
+                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Builder] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/String|): R|kotlin/Unit|
+
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun build([ResolvedTo(BODY_RESOLVE)] action: R|Builder.() -> kotlin/Unit|): R|Builder| {
+            ^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] val builder: <ERROR TYPE REF: Ambiguity: build, [kotlin/collections/build, kotlin/collections/build, kotlin/collections/build]> = <Ambiguity: build, [kotlin/collections/build, kotlin/collections/build, kotlin/collections/build]>#(<L> = [ResolvedTo(BODY_RESOLVE)] build@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown>  {
+            <Unresolved name: version># = String(321)
+        }
+        )
+            public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Ambiguity: build, [kotlin/collections/build, kotlin/collections/build, kotlin/collections/build]>
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: <ERROR TYPE REF: Unresolved name: execute> = @R|kotlin/Suppress|[Types](names = vararg(String(abc))) @R|kotlin/Deprecated|[Types](message = String(it is deprecated)) R|/builder|.<Unresolved name: execute>#()
+            public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: execute>
+
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/scriptArgument.kts b/analysis/low-level-api-fir/testdata/lazyResolve/scriptArgument.kts
new file mode 100644
index 00000000000..c2c9acd3b10
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/scriptArgument.kts
@@ -0,0 +1,2 @@
+// RESOLVE_SCRIPT
+// MEMBER_NAME_FILTER: args
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/scriptArgument.txt b/analysis/low-level-api-fir/testdata/lazyResolve/scriptArgument.txt
new file mode 100644
index 00000000000..d8dc9340209
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/scriptArgument.txt
@@ -0,0 +1,97 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+IMPORTS:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+TYPES:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+STATUS:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+ARGUMENTS_OF_ANNOTATIONS:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+CONTRACTS:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+ANNOTATIONS_ARGUMENTS_MAPPING:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(RAW_FIR)] scriptArgument.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(IMPORTS)] scriptArgument.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)]
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
+
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclaration.kts b/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclaration.kts
new file mode 100644
index 00000000000..930bf0bb357
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclaration.kts
@@ -0,0 +1,5 @@
+// RESOLVE_SCRIPT
+// MEMBER_NAME_FILTER: $$result
+
+fun foo() = 24
+foo()
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclaration.txt b/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclaration.txt
new file mode 100644
index 00000000000..8fc8e0524ca
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclaration.txt
@@ -0,0 +1,195 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ARGUMENTS_OF_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ANNOTATIONS_ARGUMENTS_MAPPING:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+            ^foo IntegerLiteral(24)
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#()
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclaration.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)]
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
+            ^foo Int(24)
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/Int| = R|/foo|()
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
+
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclarationWithBigBody.kts b/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclarationWithBigBody.kts
new file mode 100644
index 00000000000..c6a43552aa2
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclarationWithBigBody.kts
@@ -0,0 +1,11 @@
+// RESOLVE_SCRIPT
+// MEMBER_NAME_FILTER: $$result
+
+fun <T> foo(action: () -> T): T = action()
+foo {
+    println("foo")
+    foo {
+        val i = 1
+        println(i)
+    }
+}
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclarationWithBigBody.txt b/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclarationWithBigBody.txt
new file mode 100644
index 00000000000..6824afe0a57
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclarationWithBigBody.txt
@@ -0,0 +1,307 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ARGUMENTS_OF_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ANNOTATIONS_ARGUMENTS_MAPPING:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
+    SCRIPT: [ResolvedTo(RAW_FIR)]
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> foo([ResolvedTo(RAW_FIR)] action: ( () -> T )): T {
+            ^foo action#()
+        }
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+            println#(String(foo))
+            foo#(<L> = [ResolvedTo(RAW_FIR)] foo@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
+                [ResolvedTo(RAW_FIR)] lval i: <implicit> = IntegerLiteral(1)
+                println#(i#)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(IMPORTS)] syntheticResultDeclarationWithBigBody.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)]
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] T> foo([ResolvedTo(BODY_RESOLVE)] action: R|() -> T|): R|T| {
+            ^foo R|<local>/action|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/Unit| = R|/foo|<R|kotlin/Unit|>(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<T>] foo@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+            R|kotlin/io/println|(String(foo))
+            R|/foo|<R|kotlin/Unit|>(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<T>] foo@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                [ResolvedTo(BODY_RESOLVE)] lval i: R|kotlin/Int| = Int(1)
+                R|kotlin/io/println|(R|<local>/i|)
+            }
+            )
+        }
+        )
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Unit|
+
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractFirLazyDeclarationResolveTestCase.kt b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractFirLazyDeclarationResolveTestCase.kt
index 8437244c775..00dfbaf510e 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractFirLazyDeclarationResolveTestCase.kt
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractFirLazyDeclarationResolveTestCase.kt
@@ -10,7 +10,7 @@ import org.jetbrains.kotlin.analysis.low.level.api.fir.lazy.resolve.LLFirResolve
 import org.jetbrains.kotlin.analysis.low.level.api.fir.test.base.AbstractLowLevelApiSingleFileTest
 import org.jetbrains.kotlin.analysis.low.level.api.fir.util.FirElementFinder.findElementIn
 import org.jetbrains.kotlin.fir.FirElementWithResolveState
-import org.jetbrains.kotlin.fir.declarations.FirFile
+import org.jetbrains.kotlin.fir.declarations.FirDeclaration
 import org.jetbrains.kotlin.fir.declarations.FirResolvePhase
 import org.jetbrains.kotlin.fir.renderer.FirDeclarationRendererWithFilteredAttributes
 import org.jetbrains.kotlin.fir.renderer.FirErrorExpressionExtendedRenderer
@@ -20,6 +20,7 @@ import org.jetbrains.kotlin.fir.renderer.FirResolvePhaseRenderer
 import org.jetbrains.kotlin.fir.scopes.unsubstitutedScope
 import org.jetbrains.kotlin.fir.symbols.FirBasedSymbol
 import org.jetbrains.kotlin.fir.symbols.impl.FirClassSymbol
+import org.jetbrains.kotlin.fir.symbols.impl.FirScriptSymbol
 import org.jetbrains.kotlin.fir.symbols.lazyResolveToPhase
 import org.jetbrains.kotlin.psi.KtFile
 import org.jetbrains.kotlin.test.builders.TestConfigurationBuilder
@@ -104,12 +105,22 @@ abstract class AbstractFirLazyDeclarationResolveTestCase : AbstractLowLevelApiSi
             directives.singleOrZeroValue(Directives.MEMBER_NAME_FILTER),
         ).ifEmpty { return symbol }
 
-        val classSymbol = symbol as FirClassSymbol
-        val declarations = classSymbol.declarationSymbols
+        val (classSymbol, declarations) = when (symbol) {
+            is FirClassSymbol -> symbol to symbol.declarationSymbols
+            is FirScriptSymbol -> {
+                symbol to symbol.fir.let { it.parameters + it.statements }.mapNotNull { (it as? FirDeclaration)?.symbol }
+            }
+
+            else -> error("Unknown container: ${symbol::class.simpleName}")
+        }
+
         val filter = { declaration: FirBasedSymbol<*> -> memberClassFilters.all { it.invoke(declaration) } }
         val filteredSymbols = declarations.filter(filter)
         return when (filteredSymbols.size) {
-            0 -> deepSearch(classSymbol, session, filter) ?: error("Empty result for:${declarations.joinToString("\n")}")
+            0 -> {
+                (classSymbol as? FirClassSymbol)?.let { deepSearch(it, session, filter) }
+                    ?: error("Empty result for:${declarations.joinToString("\n")}")
+            }
             1 -> filteredSymbols.single()
             else -> error("Result ambiguity:\n${filteredSymbols.joinToString("\n")}")
         }
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirScriptLazyDeclarationResolveTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirScriptLazyDeclarationResolveTestGenerated.java
index 4285fc16cbd..90d4ea98e4c 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirScriptLazyDeclarationResolveTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirScriptLazyDeclarationResolveTestGenerated.java
@@ -432,6 +432,18 @@ public class FirScriptLazyDeclarationResolveTestGenerated extends AbstractFirScr
         runTest("analysis/low-level-api-fir/testdata/lazyResolve/script3.kts");
     }
 
+    @Test
+    @TestMetadata("script4.kts")
+    public void testScript4() throws Exception {
+        runTest("analysis/low-level-api-fir/testdata/lazyResolve/script4.kts");
+    }
+
+    @Test
+    @TestMetadata("scriptArgument.kts")
+    public void testScriptArgument() throws Exception {
+        runTest("analysis/low-level-api-fir/testdata/lazyResolve/scriptArgument.kts");
+    }
+
     @Test
     @TestMetadata("secondaryConstructorParameterScript.kts")
     public void testSecondaryConstructorParameterScript() throws Exception {
@@ -480,6 +492,18 @@ public class FirScriptLazyDeclarationResolveTestGenerated extends AbstractFirScr
         runTest("analysis/low-level-api-fir/testdata/lazyResolve/superTypesScript.kts");
     }
 
+    @Test
+    @TestMetadata("syntheticResultDeclaration.kts")
+    public void testSyntheticResultDeclaration() throws Exception {
+        runTest("analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclaration.kts");
+    }
+
+    @Test
+    @TestMetadata("syntheticResultDeclarationWithBigBody.kts")
+    public void testSyntheticResultDeclarationWithBigBody() throws Exception {
+        runTest("analysis/low-level-api-fir/testdata/lazyResolve/syntheticResultDeclarationWithBigBody.kts");
+    }
+
     @Test
     @TestMetadata("topLevelFunctionsScript.kts")
     public void testTopLevelFunctionsScript() throws Exception {
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/ScriptGetOrBuildFirTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/ScriptGetOrBuildFirTestGenerated.java
index f2af68c4eb9..d7d99f4ae34 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/ScriptGetOrBuildFirTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/ScriptGetOrBuildFirTestGenerated.java
@@ -221,6 +221,42 @@ public class ScriptGetOrBuildFirTestGenerated extends AbstractScriptGetOrBuildFi
             KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/low-level-api-fir/testdata/getOrBuildFir/calls"), Pattern.compile("^(.+)\\.(kts)$"), null, true);
         }
 
+        @Test
+        @TestMetadata("argsFromFunction.kts")
+        public void testArgsFromFunction() throws Exception {
+            runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromFunction.kts");
+        }
+
+        @Test
+        @TestMetadata("argsFromInit.kts")
+        public void testArgsFromInit() throws Exception {
+            runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromInit.kts");
+        }
+
+        @Test
+        @TestMetadata("argsFromMemberFunction.kts")
+        public void testArgsFromMemberFunction() throws Exception {
+            runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberFunction.kts");
+        }
+
+        @Test
+        @TestMetadata("argsFromMemberProperty.kts")
+        public void testArgsFromMemberProperty() throws Exception {
+            runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromMemberProperty.kts");
+        }
+
+        @Test
+        @TestMetadata("argsFromProperty.kts")
+        public void testArgsFromProperty() throws Exception {
+            runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromProperty.kts");
+        }
+
+        @Test
+        @TestMetadata("argsFromStatement.kts")
+        public void testArgsFromStatement() throws Exception {
+            runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/argsFromStatement.kts");
+        }
+
         @Test
         @TestMetadata("callArgumentScript.kts")
         public void testCallArgumentScript() throws Exception {
@@ -233,6 +269,12 @@ public class ScriptGetOrBuildFirTestGenerated extends AbstractScriptGetOrBuildFi
             runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndExplicitConstructorScript.kts");
         }
 
+        @Test
+        @TestMetadata("callOnePropertyFromAnother.kts")
+        public void testCallOnePropertyFromAnother() throws Exception {
+            runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callOnePropertyFromAnother.kts");
+        }
+
         @Test
         @TestMetadata("calllTypeArgumentsScript.kts")
         public void testCalllTypeArgumentsScript() throws Exception {
@@ -292,6 +334,12 @@ public class ScriptGetOrBuildFirTestGenerated extends AbstractScriptGetOrBuildFi
         public void testSuperTypeScript() throws Exception {
             runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/superTypeScript.kts");
         }
+
+        @Test
+        @TestMetadata("syntheticResultDeclaration.kts")
+        public void testSyntheticResultDeclaration() throws Exception {
+            runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/calls/syntheticResultDeclaration.kts");
+        }
     }
 
     @Nested