diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/contextReceiver.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/contextReceiver.copy.txt
new file mode 100644
index 00000000000..210f3fa2ad5
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/contextReceiver.copy.txt
@@ -0,0 +1,35 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+
+FILE: [ResolvedTo(IMPORTS)] contextReceiver.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    context(R|test/Base|)
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/Child| {
+            super<R|test/Base|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/primaryConstructorParameter_initializerExpression.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/primaryConstructorParameter_initializerExpression.copy.txt
new file mode 100644
index 00000000000..6a3a62e489e
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/primaryConstructorParameter_initializerExpression.copy.txt
@@ -0,0 +1,46 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeWithSubstitution
+            Classifiers:
+                FirRegularClassSymbol public final? class Nested : R|kotlin/Any|
+        Static scope owner symbol: FirRegularClassSymbol public open class Base : R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol name: R|kotlin/String| = String(name)
+
+FILE: [ResolvedTo(IMPORTS)] primaryConstructorParameter_initializerExpression.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val fromBase: String = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): String
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] class Child : Base {
+        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/String| = String(name)): R|test/Child| {
+            super<R|test/Base|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/primaryConstructorParameter_typeRef.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/primaryConstructorParameter_typeRef.copy.txt
new file mode 100644
index 00000000000..9e9893fd33f
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/primaryConstructorParameter_typeRef.copy.txt
@@ -0,0 +1,43 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeWithSubstitution
+            Classifiers:
+                FirRegularClassSymbol public final? class Nested : R|kotlin/Any|
+        Static scope owner symbol: FirRegularClassSymbol public open class Base : R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol name: R|kotlin/String|
+
+FILE: [ResolvedTo(IMPORTS)] primaryConstructorParameter_typeRef.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] class Child : Base {
+        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/String|): R|test/Child| {
+            super<R|test/Base|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsExpression.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsExpression.copy.txt
new file mode 100644
index 00000000000..2a2399acc2f
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsExpression.copy.txt
@@ -0,0 +1,43 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeWithSubstitution
+            Classifiers:
+                FirRegularClassSymbol public final class Nested : R|kotlin/Any|
+        Static scope owner symbol: FirRegularClassSymbol public open class Base : R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol primaryConstructorParameter: R|test/Base.Nested|
+
+FILE: [ResolvedTo(IMPORTS)] superTypeCallArgumentsExpression.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor([ResolvedTo(RAW_FIR)] param: Nested): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] primaryConstructorParameter: R|test/Base.Nested|): R|test/Child| {
+            super<R|test/Base|>(R|<local>/primaryConstructorParameter|)
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsExpression_objectLiteral.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsExpression_objectLiteral.copy.txt
new file mode 100644
index 00000000000..bf29baf7fe9
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsExpression_objectLiteral.copy.txt
@@ -0,0 +1,43 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeWithSubstitution
+            Classifiers:
+                FirRegularClassSymbol public final class Nested : R|kotlin/Any|
+        Static scope owner symbol: FirRegularClassSymbol public open class Base : R|kotlin/Any|
+
+FILE: [ResolvedTo(IMPORTS)] superTypeCallArgumentsExpression_objectLiteral.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor([ResolvedTo(RAW_FIR)] param: Nested): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] val property: Base.Nested = LAZY_EXPRESSION
+        public? [ResolvedTo(RAW_FIR)] get(): Base.Nested
+    public final [ResolvedTo(BODY_RESOLVE)] val child: R|test/Base| = object : R|test/Base| {
+        private [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/<anonymous>| {
+            super<R|test/Base|>(R|test/property|)
+        }
+
+    }
+
+        public [ResolvedTo(BODY_RESOLVE)] get(): R|test/Base|
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsTypeRef.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsTypeRef.copy.txt
new file mode 100644
index 00000000000..e6cc7ffaa68
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallArgumentsTypeRef.copy.txt
@@ -0,0 +1,44 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeWithSubstitution
+            Classifiers:
+                FirRegularClassSymbol public final class Nested : R|kotlin/Any|
+        Static scope owner symbol: FirRegularClassSymbol public open class Base : R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol primaryConstructorParameter: R|test/Base.Nested|
+
+FILE: [ResolvedTo(IMPORTS)] superTypeCallArgumentsTypeRef.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor([ResolvedTo(RAW_FIR)] param: Nested): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> materialize(): T { LAZY_BLOCK }
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] primaryConstructorParameter: R|test/Base.Nested|): R|test/Child| {
+            super<R|test/Base|>(R|test/materialize|<R|test/Base.Nested|>())
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallee.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallee.copy.txt
new file mode 100644
index 00000000000..0b8a7fbaba9
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallee.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+
+FILE: [ResolvedTo(IMPORTS)] superTypeCallee.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/Child| {
+            super<R|test/Base|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCalleeGenerics.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCalleeGenerics.copy.txt
new file mode 100644
index 00000000000..1d57b6e9cab
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCalleeGenerics.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+
+FILE: [ResolvedTo(IMPORTS)] superTypeCalleeGenerics.kt
+    public open [ResolvedTo(RAW_FIR)] class Base<[ResolvedTo(RAW_FIR)] T> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(RAW_FIR)] T>(): R|test/Base<T>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base<kotlin/Any>| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/Child| {
+            super<R|test/Base<kotlin/Any>|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallee_objectLiteral.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallee_objectLiteral.copy.txt
new file mode 100644
index 00000000000..773c9db4b1b
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeCallee_objectLiteral.copy.txt
@@ -0,0 +1,36 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+
+FILE: [ResolvedTo(IMPORTS)] superTypeCallee_objectLiteral.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] val child: R|test/Base| = object : R|test/Base| {
+        private [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/<anonymous>| {
+            super<R|test/Base|>()
+        }
+
+    }
+
+        public [ResolvedTo(BODY_RESOLVE)] get(): R|test/Base|
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeDelegatedExpression.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeDelegatedExpression.copy.txt
new file mode 100644
index 00000000000..93dae10a0ea
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeDelegatedExpression.copy.txt
@@ -0,0 +1,47 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeWithSubstitution
+            Classifiers:
+                FirRegularClassSymbol public final class Nested : R|test/MyInterface|
+        Static scope owner symbol: FirRegularClassSymbol public open class Base : R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol constructorParam: R|test/MyInterface|
+
+FILE: [ResolvedTo(IMPORTS)] superTypeDelegatedExpression.kt
+    public final? [ResolvedTo(RAW_FIR)] interface MyInterface : R|kotlin/Any| {
+    }
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : MyInterface {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<<implicit>>
+            }
+
+        }
+
+    }
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base|, R|test/MyInterface| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] constructorParam: R|test/MyInterface|): R|test/Child| {
+            super<R|test/Base|>()
+        }
+
+        private final [ResolvedTo(BODY_RESOLVE)] field $$delegate_0: R|test/MyInterface| = R|test/Base.Nested.Nested|()
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeDelegatedTypeRef.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeDelegatedTypeRef.copy.txt
new file mode 100644
index 00000000000..e3485731c90
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeDelegatedTypeRef.copy.txt
@@ -0,0 +1,38 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+
+FILE: [ResolvedTo(IMPORTS)] superTypeDelegatedTypeRef.kt
+    public final? [ResolvedTo(RAW_FIR)] interface MyInterface : R|kotlin/Any| {
+    }
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : MyInterface {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<<implicit>>
+            }
+
+        }
+
+    }
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base|, R|test/MyInterface| {
+        private final [ResolvedTo(BODY_RESOLVE)] field $$delegate_0: R|test/MyInterface| = R|test/Base.Nested.Nested|()
+
+        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/Child| {
+            super<R|test/Base|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeRef.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeRef.copy.txt
new file mode 100644
index 00000000000..029b46cf32a
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeRef.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+
+FILE: [ResolvedTo(IMPORTS)] superTypeRef.kt
+    public open [ResolvedTo(RAW_FIR)] class Base : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/Child| {
+            super<R|test/Base|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeRefGenerics.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeRefGenerics.copy.txt
new file mode 100644
index 00000000000..8b9c329f7db
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/classHeaderPositions/superTypeRefGenerics.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+
+FILE: [ResolvedTo(IMPORTS)] superTypeRefGenerics.kt
+    public open [ResolvedTo(RAW_FIR)] class Base<[ResolvedTo(RAW_FIR)] T> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(RAW_FIR)] T>(): R|test/Base<T>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+    }
+    public final [ResolvedTo(STATUS)] class Child : R|test/Base<kotlin/Any>| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/Child| {
+            super<R|test/Base<kotlin/Any>|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/contextReceivers.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/contextReceivers.copy.txt
new file mode 100644
index 00000000000..3b846db1884
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/contextReceivers.copy.txt
@@ -0,0 +1,41 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+    Element 7
+        Context receivers:
+            FirNamedFunctionSymbol context(R|Foo|, R|Bar|)
+            public final fun test(): R|kotlin/Unit|
+                Type: Foo
+                Label: Foo
+            FirNamedFunctionSymbol context(R|Foo|, R|Bar|)
+            public final fun test(): R|kotlin/Unit|
+                Type: Bar
+                Label: Bar
+    Element 8
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] contextReceivers.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] interface Bar : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): Int
+
+    }
+    context(R|Foo|, R|Bar|)
+    public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
+        this@R|/test|.R|/Foo.foo|().R|kotlin/Int.plus|(this@R|/test|.R|/Bar.bar|())
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/contextReceiversClass.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/contextReceiversClass.copy.txt
new file mode 100644
index 00000000000..f5f8088c8bf
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/contextReceiversClass.copy.txt
@@ -0,0 +1,45 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol context(R|Foo|)
+            public final class Test : R|kotlin/Any|
+                Type: Test
+    Element 7
+        Context receivers:
+            FirRegularClassSymbol context(R|Foo|)
+            public final class Test : R|kotlin/Any|
+                Type: Foo
+                Label: Foo
+    Element 8
+        Scope: FirLocalScope
+    Element 9
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] contextReceiversClass.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int
+
+    }
+    context(Foo)
+    public final? [ResolvedTo(RAW_FIR)] class Test : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|Test| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
+            this@R|/Test|.R|/Foo.foo|()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/enumValue.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/enumValue.copy.txt
new file mode 100644
index 00000000000..03117c1cb4b
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/enumValue.copy.txt
@@ -0,0 +1,79 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public final companion object Companion : R|kotlin/Any|
+                Type: kotlin.Enum.Companion
+    Element 7
+        Scope: FirNestedClassifierScopeWithSubstitution
+            Classifiers:
+                FirRegularClassSymbol public final companion object Companion : R|kotlin/Any|
+        Static scope owner symbol: FirRegularClassSymbol public abstract class Enum<E : R|kotlin/Enum<E>|> : R|kotlin/Comparable<E>|, R|java/io/Serializable|
+    Element 8
+        Scope: FirNameAwareOnlyCallablesScope
+            Functions
+                FirNamedFunctionSymbol public final static fun valueOf(value: R|kotlin/String|): R|Direction|
+                FirNamedFunctionSymbol public final static fun values(): R|kotlin/Array<Direction>|
+            Properties:
+                FirEnumEntrySymbol public final static enum entry EAST: R|Direction| = object : R|Direction|
+                FirEnumEntrySymbol public final static enum entry NORTH: R|Direction| = LAZY_EXPRESSION
+                FirEnumEntrySymbol public final static enum entry SOUTH: R|Direction| = LAZY_EXPRESSION
+                FirEnumEntrySymbol public final static enum entry WEST: R|Direction| = LAZY_EXPRESSION
+                FirPropertySymbol public final static val entries: R|kotlin/enums/EnumEntries<Direction>|
+                    public get(): R|kotlin/enums/EnumEntries<Direction>|
+    Element 9
+        Implicit receiver:
+            FirAnonymousObjectSymbol object : R|Direction|
+                Type: <anonymous>
+    Element 10
+        Scope: FirLocalScope
+            Properties:
+                FirBackingFieldSymbol private <explicit backing field>: R|kotlin/Int|
+    Element 11
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] enumValue.kt
+    public final? [ResolvedTo(RAW_FIR)] enum class Direction : R|kotlin/Enum<Direction>| {
+        private [ResolvedTo(RAW_FIR)] constructor(): R|Direction| {
+            LAZY_super<R|kotlin/Enum<Direction>|>
+        }
+
+        public final static [ResolvedTo(RAW_FIR)] enum entry NORTH: R|Direction| = LAZY_EXPRESSION
+        public final static [ResolvedTo(BODY_RESOLVE)] enum entry EAST: R|Direction| = object : R|Direction| {
+            private [ResolvedTo(BODY_RESOLVE)] constructor(): R|<anonymous>| {
+                super<R|Direction|>()
+            }
+
+            public open override [ResolvedTo(BODY_RESOLVE)] val code: R|kotlin/Int|
+                public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
+                    ^ Int(2)
+                }
+
+        }
+
+        public final static [ResolvedTo(RAW_FIR)] enum entry SOUTH: R|Direction| = LAZY_EXPRESSION
+        public final static [ResolvedTo(RAW_FIR)] enum entry WEST: R|Direction| = LAZY_EXPRESSION
+        public? abstract [ResolvedTo(RAW_FIR)] val code: Int
+            public? [ResolvedTo(RAW_FIR)] get(): Int
+
+        public final static [ResolvedTo(RAW_FIR)] fun values(): R|kotlin/Array<Direction>| {
+        }
+
+        public final static [ResolvedTo(RAW_FIR)] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|Direction| {
+        }
+
+        public final static [ResolvedTo(RAW_FIR)] val entries: R|kotlin/enums/EnumEntries<Direction>|
+            public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries<Direction>|
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/extensionFunction.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/extensionFunction.copy.txt
new file mode 100644
index 00000000000..5f0a0c9980e
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/extensionFunction.copy.txt
@@ -0,0 +1,27 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+    Element 7
+        Implicit receiver:
+            FirNamedFunctionSymbol public final fun R|kotlin/String|.test(): R|kotlin/Unit|
+                Type: kotlin.String
+    Element 8
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] extensionFunction.kt
+    public final [ResolvedTo(BODY_RESOLVE)] fun R|kotlin/String|.test(): R|kotlin/Unit| {
+        R|/consume|(this@R|/test|)
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Any): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/extensionLambdas.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/extensionLambdas.copy.txt
new file mode 100644
index 00000000000..0308c2d7a5b
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/extensionLambdas.copy.txt
@@ -0,0 +1,46 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+    Element 7
+        Scope: FirLocalScope
+    Element 8
+        Scope: FirLocalScope
+    Element 9
+        Implicit receiver:
+            FirAnonymousFunctionSymbol foo@fun R|kotlin/String|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>
+                Type: kotlin.String
+    Element 10
+        Scope: FirLocalScope
+    Element 11
+        Scope: FirLocalScope
+    Element 12
+        Implicit receiver:
+            FirAnonymousFunctionSymbol num@fun R|kotlin/Int|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>
+                Type: kotlin.Int
+    Element 13
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] extensionLambdas.kt
+    public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
+        R|/block|<R|kotlin/String|>(String(foo), <L> = [ResolvedTo(BODY_RESOLVE)] foo@fun R|kotlin/String|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+            R|/block|<R|kotlin/Int|>(Int(42), <L> = [ResolvedTo(BODY_RESOLVE)] num@fun R|kotlin/Int|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                R|/consume|(this@R|special/anonymous|.R|kotlin/String.length|.R|kotlin/Int.plus|(this@R|special/anonymous|))
+            }
+            )
+        }
+        )
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> block([ResolvedTo(RAW_FIR)] reciever: T, [ResolvedTo(RAW_FIR)] block: ( T.() -> Unit )): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] num: Int): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/file.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/file.copy.txt
new file mode 100644
index 00000000000..33a4aa4b872
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/file.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+            Import name:List
+                Qualified name: java.util.List
+                Is all under: false
+
+FILE: [ResolvedTo(IMPORTS)] file.kt
+    public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/reflect/KClass<java/util/List<*>>| {
+        ^test <getClass>(Q|java/util/List|)
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun other(): R|kotlin/Int| {
+        ^other String(foo).R|kotlin/String.length|
+    }
+    public final [ResolvedTo(STATUS)] class Foo : R|kotlin/Any| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/Foo| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
+            <Unresolved name: require>#(==(R|test/other|(), Int(3)))
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/innerClasses.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/innerClasses.copy.txt
new file mode 100644
index 00000000000..af50e580c61
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/innerClasses.copy.txt
@@ -0,0 +1,60 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeImpl
+            Classifiers:
+                FirRegularClassSymbol public final inner class Bar<B, Outer(F)> : R|kotlin/Any|
+    Element 7
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol F
+    Element 8
+        Implicit receiver:
+            FirRegularClassSymbol public final class Foo<F> : R|kotlin/Any|
+                Type: test.Foo<F>
+    Element 9
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol B
+    Element 10
+        Implicit receiver:
+            FirRegularClassSymbol public final inner class Bar<B, Outer(F)> : R|kotlin/Any|
+                Type: test.Foo.Bar<B, F>
+    Element 11
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol b: R|B|
+                FirValueParameterSymbol f: R|F|
+    Element 12
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] innerClasses.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo<[ResolvedTo(RAW_FIR)] F> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(RAW_FIR)] F>(): R|test/Foo<F>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? inner [ResolvedTo(RAW_FIR)] class Bar<[ResolvedTo(RAW_FIR)] B, [ResolvedTo(RAW_FIR)] Outer(F)> : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] test/Foo<F>.constructor<[ResolvedTo(RAW_FIR)] B>(): R|test/Foo.Bar<B, F>| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+            public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] f: R|F|, [ResolvedTo(BODY_RESOLVE)] b: R|B|): R|kotlin/Unit| {
+                R|test/consume<Inapplicable(INAPPLICABLE): test/consume>#|(R|<local>/f|)
+            }
+
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Any): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/lambdaArguments.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/lambdaArguments.copy.txt
new file mode 100644
index 00000000000..9f4a0676c31
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/lambdaArguments.copy.txt
@@ -0,0 +1,41 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+    Element 7
+        Scope: FirLocalScope
+    Element 8
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol s: R|kotlin/String|
+    Element 9
+        Scope: FirLocalScope
+    Element 10
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol n: R|kotlin/Int|
+    Element 11
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] lambdaArguments.kt
+    public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
+        R|/block|<R|kotlin/String|>(String(foo), <L> = [ResolvedTo(BODY_RESOLVE)] block@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| <inline=NoInline>  {
+            R|/block|<R|kotlin/Int|>(Int(42), <L> = [ResolvedTo(BODY_RESOLVE)] block@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] n: R|kotlin/Int|): R|kotlin/Unit| <inline=NoInline>  {
+                R|<local>/s|.R|kotlin/String.length|.R|kotlin/Int.plus|(R|<local>/n|)
+            }
+            )
+        }
+        )
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun <[ResolvedTo(RAW_FIR)] T> block([ResolvedTo(RAW_FIR)] obj: T, [ResolvedTo(RAW_FIR)] block: ( (T) -> Unit )): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/nestedClasses.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/nestedClasses.copy.txt
new file mode 100644
index 00000000000..484143306c1
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/nestedClasses.copy.txt
@@ -0,0 +1,51 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeImpl
+            Classifiers:
+                FirRegularClassSymbol public final class Bar<B> : R|kotlin/Any|
+    Element 7
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol B
+    Element 8
+        Implicit receiver:
+            FirRegularClassSymbol public final class Bar<B> : R|kotlin/Any|
+                Type: test.Foo.Bar<B>
+    Element 9
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol b: R|B|
+    Element 10
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] nestedClasses.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo<[ResolvedTo(RAW_FIR)] F> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(RAW_FIR)] F>(): R|test/Foo<F>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Bar<[ResolvedTo(RAW_FIR)] B> : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(RAW_FIR)] B>(): R|test/Foo.Bar<B>| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+            public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] b: R|B|): R|kotlin/Unit| {
+                R|test/consume<Inapplicable(INAPPLICABLE): test/consume>#|(R|<local>/b|)
+            }
+
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Any): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/parameter.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/parameter.copy.txt
new file mode 100644
index 00000000000..e2b79999635
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/parameter.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public final class Foo : R|kotlin/Any|
+                Type: Foo
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol abc: R|kotlin/Int|
+
+FILE: [ResolvedTo(IMPORTS)] parameter.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|Foo| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] abc: R|kotlin/Int|): R|kotlin/Unit| {
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun other(): R|kotlin/Unit| { LAZY_BLOCK }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/primaryConstructor.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/primaryConstructor.copy.txt
new file mode 100644
index 00000000000..b940d074a2b
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/primaryConstructor.copy.txt
@@ -0,0 +1,31 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public final class Foo : R|kotlin/Any|
+                Type: Foo
+
+FILE: [ResolvedTo(IMPORTS)] primaryConstructor.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] a: R|kotlin/String| = String(foo), [ResolvedTo(BODY_RESOLVE)] b: R|kotlin/Int| = R|<local>/a|.R|kotlin/String.length|): R|Foo| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val a: String = R|<local>/a|
+            public? [ResolvedTo(RAW_FIR)] get(): String
+
+        public? final? [ResolvedTo(RAW_FIR)] val b: Int = R|<local>/b|
+            public? [ResolvedTo(RAW_FIR)] get(): Int
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/primaryConstructorParameter.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/primaryConstructorParameter.copy.txt
new file mode 100644
index 00000000000..b3e62a73cad
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/primaryConstructorParameter.copy.txt
@@ -0,0 +1,27 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol a: R|kotlin/String| = String(foo)
+                FirValueParameterSymbol b: R|kotlin/Int| = R|<local>/a|.R|kotlin/String.length|
+                FirValueParameterSymbol c: R|kotlin/Long| = R|<local>/a|.R|kotlin/String.length|.R|kotlin/Int.minus|(Int(1)).R|kotlin/Int.toLong|()
+
+FILE: [ResolvedTo(IMPORTS)] primaryConstructorParameter.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] a: R|kotlin/String| = String(foo), [ResolvedTo(BODY_RESOLVE)] b: R|kotlin/Int| = R|<local>/a|.R|kotlin/String.length|, [ResolvedTo(BODY_RESOLVE)] c: R|kotlin/Long| = R|<local>/a|.R|kotlin/String.length|.R|kotlin/Int.minus|(Int(1)).R|kotlin/Int.toLong|()): R|Foo| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/primaryConstructorProperty.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/primaryConstructorProperty.copy.txt
new file mode 100644
index 00000000000..675935fe409
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/primaryConstructorProperty.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public final class Foo : R|kotlin/Any|
+                Type: Foo
+
+FILE: [ResolvedTo(IMPORTS)] primaryConstructorProperty.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public [ResolvedTo(ANNOTATION_ARGUMENTS)] constructor([ResolvedTo(ANNOTATION_ARGUMENTS)] a: R|kotlin/String| = LAZY_EXPRESSION, [ResolvedTo(ANNOTATION_ARGUMENTS)] b: R|kotlin/Int| = LAZY_EXPRESSION, [ResolvedTo(ANNOTATION_ARGUMENTS)] c: R|kotlin/Long| = LAZY_EXPRESSION): R|Foo| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val a: String = R|<local>/a|
+            public? [ResolvedTo(RAW_FIR)] get(): String
+
+        public final [ResolvedTo(BODY_RESOLVE)] val b: R|kotlin/Int| = R|<local>/b|
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
+
+        public? final? [ResolvedTo(RAW_FIR)] val c: Long = R|<local>/c|
+            public? [ResolvedTo(RAW_FIR)] get(): Long
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/propertyAccessor.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/propertyAccessor.copy.txt
new file mode 100644
index 00000000000..7705c8994ec
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/propertyAccessor.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public final class Foo : R|kotlin/Any|
+                Type: Foo
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirBackingFieldSymbol private <explicit backing field>: R|kotlin/Int|
+
+FILE: [ResolvedTo(IMPORTS)] propertyAccessor.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|Foo| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int|
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
+                ^ Int(42)
+            }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/propertyDelegateInitializer.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/propertyDelegateInitializer.copy.txt
new file mode 100644
index 00000000000..230bb444ca5
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/propertyDelegateInitializer.copy.txt
@@ -0,0 +1,41 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public final class Foo : R|kotlin/Any|
+                Type: test.Foo
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol constructorParam: R|test/MyInterface|
+
+FILE: [ResolvedTo(IMPORTS)] propertyDelegateInitializer.kt
+    public final? [ResolvedTo(RAW_FIR)] interface MyInterface : R|kotlin/Any| {
+        public? final? operator [ResolvedTo(RAW_FIR)] fun getValue([ResolvedTo(RAW_FIR)] thisRef: Any, [ResolvedTo(RAW_FIR)] property: Any): MyInterface
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor([ResolvedTo(RAW_FIR)] constructorParam: MyInterface): R|test/Foo| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val regularProperty: MyInterface
+            public? [ResolvedTo(RAW_FIR)] get(): MyInterface
+
+        public final [ResolvedTo(BODY_RESOLVE)] val property: R|test/MyInterface|by R|<local>/constructorParam|
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|test/MyInterface| {
+                ^ this@R|test/Foo|.D|test/Foo.property|.R|test/MyInterface.getValue|(this@R|test/Foo|, ::R|test/Foo.property|)
+            }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/scripts/insideClassMember.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/scripts/insideClassMember.copy.txt
new file mode 100644
index 00000000000..078ea18a223
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/scripts/insideClassMember.copy.txt
@@ -0,0 +1,103 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirScriptDeclarationsScope
+            Classifiers:
+                FirRegularClassSymbol public final? class After_OtherClass : R|kotlin/Any|
+                FirRegularClassSymbol public final? class Before_OtherClass : R|kotlin/Any|
+                FirRegularClassSymbol public final? class MyClass : R|kotlin/Any|
+            Functions
+                FirNamedFunctionSymbol public? final? fun after_Fun(): R|kotlin/Unit|
+                FirNamedFunctionSymbol public? final? fun before_Fun(): R|kotlin/Unit|
+            Properties:
+                FirPropertySymbol public? final? val after_Val: <implicit>
+                    public? get(): <implicit>
+                FirPropertySymbol public? final? val before_Val: <implicit>
+                    public? get(): <implicit>
+    Element 7
+        Scope: FirLocalScope
+            Classifiers:
+                FirRegularClassSymbol public final class MyClass : R|kotlin/Any|
+            Properties:
+                FirPropertySymbol lval args: R|kotlin/Array<kotlin/String>|
+    Element 8
+        Context receivers:
+            FirScriptSymbol context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+            SCRIPT: <script-insideClassMember.kts>
+                lval args: R|kotlin/Array<kotlin/String>|
+
+                public? final? fun before_Fun(): R|kotlin/Unit|
+                public? final? val before_Val: <implicit>
+                    public? get(): <implicit>
+
+                public final? class Before_OtherClass : R|kotlin/Any|
+                public final? class MyClass : R|kotlin/Any|
+                public? final? fun after_Fun(): R|kotlin/Unit|
+                public? final? val after_Val: <implicit>
+                    public? get(): <implicit>
+
+                public final? class After_OtherClass : R|kotlin/Any|
+                Type: kotlin.script.templates.standard.ScriptTemplateWithArgs
+                Label: <script>
+    Element 9
+        Implicit receiver:
+            FirRegularClassSymbol public final class MyClass : R|kotlin/Any|
+                Type: MyClass
+    Element 10
+        Scope: FirLocalScope
+    Element 11
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] insideClassMember.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-insideClassMember.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public? final? [ResolvedTo(RAW_FIR)] fun before_Fun(): R|kotlin/Unit| { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] val before_Val: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final? [ResolvedTo(RAW_FIR)] class Before_OtherClass : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|Before_OtherClass| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class MyClass : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|MyClass| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+            public? final? [ResolvedTo(RAW_FIR)] val foo: <implicit> = LAZY_EXPRESSION
+                public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+            public final [ResolvedTo(BODY_RESOLVE)] fun usage(): R|kotlin/Unit| {
+                this@R|/MyClass|.R|/MyClass.foo|
+            }
+
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun after_Fun(): R|kotlin/Unit| { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] val after_Val: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+        public final? [ResolvedTo(RAW_FIR)] class After_OtherClass : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|After_OtherClass| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/scripts/topLevel.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/scripts/topLevel.copy.txt
new file mode 100644
index 00000000000..a9b6b17df56
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/scripts/topLevel.copy.txt
@@ -0,0 +1,92 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirScriptDeclarationsScope
+            Classifiers:
+                FirRegularClassSymbol public final class After_OtherClass : R|kotlin/Any|
+                FirRegularClassSymbol public final class Before_OtherClass : R|kotlin/Any|
+            Functions
+                FirNamedFunctionSymbol public final fun after_Fun(): R|kotlin/Unit|
+                FirNamedFunctionSymbol public final fun before_Fun(): R|kotlin/Unit|
+            Properties:
+                FirPropertySymbol public final val after_Val: R|kotlin/Int|
+                    public get(): R|kotlin/Int|
+                FirPropertySymbol public final val before_Val: R|kotlin/Int|
+                    public get(): R|kotlin/Int|
+    Element 7
+        Scope: FirLocalScope
+            Classifiers:
+                FirRegularClassSymbol public final class Before_OtherClass : R|kotlin/Any|
+            Functions
+                FirNamedFunctionSymbol public final fun before_Fun(): R|kotlin/Unit|
+            Properties:
+                FirPropertySymbol lval args: R|kotlin/Array<kotlin/String>|
+    Element 8
+        Context receivers:
+            FirScriptSymbol context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+            SCRIPT: <script-topLevel.kts>
+                lval args: R|kotlin/Array<kotlin/String>|
+
+                public final fun before_Fun(): R|kotlin/Unit|
+                public final val before_Val: R|kotlin/Int|
+                    public get(): R|kotlin/Int|
+
+                public final class Before_OtherClass : R|kotlin/Any|
+                init
+                public final fun after_Fun(): R|kotlin/Unit|
+                public final val after_Val: R|kotlin/Int|
+                    public get(): R|kotlin/Int|
+
+                public final class After_OtherClass : R|kotlin/Any|
+                Type: kotlin.script.templates.standard.ScriptTemplateWithArgs
+                Label: <script>
+    Element 9
+        Scope: FirLocalScope
+    Element 10
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] topLevel.kts
+    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-topLevel.kts>
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun before_Fun(): R|kotlin/Unit| {
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] val before_Val: R|kotlin/Int| = Int(10)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
+
+        public final [ResolvedTo(STATUS)] class Before_OtherClass : R|kotlin/Any| {
+            public [ResolvedTo(BODY_RESOLVE)] constructor(): R|Before_OtherClass| {
+                super<R|kotlin/Any|>()
+            }
+
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            R|<local>/args|
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun after_Fun(): R|kotlin/Unit| {
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] val after_Val: R|kotlin/Int| = Int(10)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
+
+        public final [ResolvedTo(STATUS)] class After_OtherClass : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|After_OtherClass| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+        }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/simple.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/simple.copy.txt
new file mode 100644
index 00000000000..347c689466c
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/simple.copy.txt
@@ -0,0 +1,51 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public final class Foo : R|kotlin/Any|
+                Type: foo.Foo
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol p: R|kotlin/String|
+    Element 8
+        Scope: FirLocalScope
+            Properties:
+                FirPropertySymbol lval x: R|kotlin/Float|
+
+FILE: [ResolvedTo(IMPORTS)] simple.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|foo/Foo| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val a: Int
+            public? [ResolvedTo(RAW_FIR)] get(): Int
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] p: R|kotlin/String|): R|kotlin/Unit| {
+            [ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Float| = Float(1.0)
+            <Unresolved name: print>#(R|<local>/x|)
+        }
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] class Unrelated : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|foo/Unrelated| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val unrelatedMember: Boolean
+            public? [ResolvedTo(RAW_FIR)] get(): Boolean { LAZY_BLOCK }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun unrelatedFunction(): Int { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/afterIf.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/afterIf.copy.txt
new file mode 100644
index 00000000000..00582d29b3d
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/afterIf.copy.txt
@@ -0,0 +1,33 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] afterIf.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/obj| is R|Foo|) ->  {
+                R|/consume|(R|<local>/obj|)
+            }
+        }
+
+        R|<local>/obj|.R|kotlin/Any.hashCode|()
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Foo): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/afterLoop.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/afterLoop.copy.txt
new file mode 100644
index 00000000000..d284c0bf773
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/afterLoop.copy.txt
@@ -0,0 +1,45 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol initial: R|Node?|
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirPropertySymbol lvar current: R|Node?|
+Smart Casts:
+    FirPropertySymbol lvar current: R|Node?|
+    Types:
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] afterLoop.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Node : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] val shouldProcess: Boolean
+            public? [ResolvedTo(RAW_FIR)] get(): Boolean
+
+        public? final? [ResolvedTo(RAW_FIR)] val parent: Node?
+            public? [ResolvedTo(RAW_FIR)] get(): Node?
+
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] initial: R|Node?|): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] lvar current: R|Node?| = R|<local>/initial|
+        while(R|<local>/current|!!.R|/Node.shouldProcess|) {
+            R|/consume|(R|<local>/current|)
+            R|<local>/current| = R|<local>/current|.R|/Node.parent|
+        }
+
+        R|/consume|(R|<local>/current|)
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] node: Node): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/andRight.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/andRight.copy.txt
new file mode 100644
index 00000000000..f4626941595
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/andRight.copy.txt
@@ -0,0 +1,40 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+Smart Casts:
+    FirValueParameterSymbol obj: R|kotlin/Any|
+    Types:
+        Foo
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] andRight.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] val isValid: Boolean
+            public? [ResolvedTo(RAW_FIR)] get(): Boolean
+
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/obj| is R|Foo|) && R|<local>/obj|.R|/Foo.isValid| ->  {
+                R|/consume|(R|<local>/obj|)
+            }
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Foo): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/argument.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/argument.copy.txt
new file mode 100644
index 00000000000..00d938430fd
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/argument.copy.txt
@@ -0,0 +1,39 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+    Element 8
+        Scope: FirLocalScope
+Smart Casts:
+    FirValueParameterSymbol obj: R|kotlin/Any|
+    Types:
+        Foo
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] argument.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/obj| is R|Foo|) ->  {
+                R|/consume|(R|<local>/obj|)
+            }
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Foo): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/argumentAsReceiver.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/argumentAsReceiver.copy.txt
new file mode 100644
index 00000000000..0cf0f60d270
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/argumentAsReceiver.copy.txt
@@ -0,0 +1,49 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+    Element 8
+        Scope: FirLocalScope
+    Element 9
+        Scope: FirLocalScope
+Smart Casts:
+    FirValueParameterSymbol obj: R|kotlin/Any|
+    Types:
+        Foo
+        kotlin.Any
+        Bar
+
+FILE: [ResolvedTo(IMPORTS)] argumentAsReceiver.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+    }
+    public final? [ResolvedTo(RAW_FIR)] interface Bar : R|kotlin/Any| {
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/obj| is R|Foo|) ->  {
+                when () {
+                    (R|<local>/obj| is R|Bar|) ->  {
+                        R|<local>/obj|.R|/consume|(R|<local>/obj|)
+                    }
+                }
+
+            }
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun Bar.consume([ResolvedTo(RAW_FIR)] obj: Foo): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/beforeIf.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/beforeIf.copy.txt
new file mode 100644
index 00000000000..c3e480931d3
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/beforeIf.copy.txt
@@ -0,0 +1,33 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] beforeIf.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
+        R|<local>/obj|.R|kotlin/Any.hashCode|()
+        when () {
+            (R|<local>/obj| is R|Foo|) ->  {
+                R|/consume|(R|<local>/obj|)
+            }
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Foo): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/beforeLoop.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/beforeLoop.copy.txt
new file mode 100644
index 00000000000..c39d5dd5f9b
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/beforeLoop.copy.txt
@@ -0,0 +1,35 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol initial: R|Node|
+    Element 7
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] beforeLoop.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Node : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] val parent: Node?
+            public? [ResolvedTo(RAW_FIR)] get(): Node?
+
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] initial: R|Node|): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] lvar current: R|Node| = R|<local>/initial|
+        while(!=(R|<local>/current|, Null(null))) {
+            R|/consume|(R|<local>/current|)
+            R|<local>/current| = R|<local>/current|.R|/Node.parent|
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] node: Node): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/dispatchReceiver.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/dispatchReceiver.copy.txt
new file mode 100644
index 00000000000..b1b665c7c51
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/dispatchReceiver.copy.txt
@@ -0,0 +1,52 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public open class Foo : R|kotlin/Any|
+                Type: Bar
+    Element 7
+        Scope: FirLocalScope
+    Element 8
+        Scope: FirLocalScope
+    Element 9
+        Scope: FirLocalScope
+Smart Casts:
+    FirRegularClassSymbol public open class Foo : R|kotlin/Any|
+    Types:
+        Bar
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] dispatchReceiver.kt
+    public open [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|Foo| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
+            when () {
+                (this@R|/Foo| is R|Bar|) ->  {
+                    R|/consume|(this@R|/Foo|)
+                }
+            }
+
+        }
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] class Bar : Foo {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|Bar| {
+            LAZY_super<Foo>
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Bar): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/extensionReceiver.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/extensionReceiver.copy.txt
new file mode 100644
index 00000000000..30ca23b247b
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/extensionReceiver.copy.txt
@@ -0,0 +1,41 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+    Element 7
+        Implicit receiver:
+            FirNamedFunctionSymbol public final fun R|kotlin/Any|.test(): R|kotlin/Unit|
+                Type: Foo
+    Element 8
+        Scope: FirLocalScope
+    Element 9
+        Scope: FirLocalScope
+Smart Casts:
+    FirNamedFunctionSymbol public final fun R|kotlin/Any|.test(): R|kotlin/Unit|
+    Types:
+        Foo
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] extensionReceiver.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun R|kotlin/Any|.test(): R|kotlin/Unit| {
+        when () {
+            (this@R|/test| is R|Foo|) ->  {
+                R|/consume|(this@R|/test|)
+            }
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Foo): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/insideLoop.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/insideLoop.copy.txt
new file mode 100644
index 00000000000..76695fd2f1e
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/insideLoop.copy.txt
@@ -0,0 +1,43 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol initial: R|Node|
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirPropertySymbol lvar current: R|Node|
+    Element 8
+        Scope: FirLocalScope
+Smart Casts:
+    FirPropertySymbol lvar current: R|Node|
+    Types:
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] insideLoop.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Node : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] val parent: Node?
+            public? [ResolvedTo(RAW_FIR)] get(): Node?
+
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] initial: R|Node|): R|kotlin/Unit| {
+        [ResolvedTo(BODY_RESOLVE)] lvar current: R|Node| = R|<local>/initial|
+        while(!=(R|<local>/current|, Null(null))) {
+            R|/consume|(R|<local>/current|)
+            R|<local>/current| = R|<local>/current|.R|/Node.parent|
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] node: Node): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onLabel.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onLabel.copy.txt
new file mode 100644
index 00000000000..8fdf46d24e7
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onLabel.copy.txt
@@ -0,0 +1,50 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol a: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirPropertySymbol lvar result: R|kotlin/Int|
+Smart Casts:
+    FirValueParameterSymbol a: R|kotlin/Any|
+    Types:
+        Foo
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] onLabel.kt
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] a: R|kotlin/Any|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/a| !is R|Foo|) ->  {
+                ^test Unit
+            }
+        }
+
+        [ResolvedTo(BODY_RESOLVE)] lvar result: R|kotlin/Int| = Int(0)
+        loop@while(Boolean(true)) {
+            when () {
+                R|<local>/a|.R|/Foo.process|().R|kotlin/Boolean.not|() ->  {
+                    break@@@[Boolean(true)]
+                }
+            }
+
+        }
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] fun process(): Boolean
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onReference.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onReference.copy.txt
new file mode 100644
index 00000000000..357b17199d6
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onReference.copy.txt
@@ -0,0 +1,40 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol a: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+Smart Casts:
+    FirValueParameterSymbol a: R|kotlin/Any|
+    Types:
+        Foo
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] onReference.kt
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] a: R|kotlin/Any|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/a| !is R|Foo|) ->  {
+                ^test Unit
+            }
+        }
+
+        R|/check|(R|<local>/a|.R|/Foo.process|())
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun check([ResolvedTo(RAW_FIR)] condition: Boolean): R|kotlin/Unit| { LAZY_BLOCK }
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] fun process(): Boolean
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onType.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onType.copy.txt
new file mode 100644
index 00000000000..a0a957c6bbf
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/onType.copy.txt
@@ -0,0 +1,40 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol a: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+Smart Casts:
+    FirValueParameterSymbol a: R|kotlin/Any|
+    Types:
+        Foo
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] onType.kt
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] a: R|kotlin/Any|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/a| !is R|Foo|) ->  {
+                ^test Unit
+            }
+        }
+
+        R|/call|<R|kotlin/collections/List<kotlin/Int>|>()
+    }
+    public? final? inline [ResolvedTo(RAW_FIR)] fun <reified [ResolvedTo(RAW_FIR)] T : Any> call(): R|kotlin/Unit| { LAZY_BLOCK }
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] fun process(): Boolean
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/orRight.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/orRight.copy.txt
new file mode 100644
index 00000000000..69b9c9d9a40
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/orRight.copy.txt
@@ -0,0 +1,36 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+
+FILE: [ResolvedTo(IMPORTS)] orRight.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] val isValid: Boolean
+            public? [ResolvedTo(RAW_FIR)] get(): Boolean
+
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/obj| is R|Foo|) || R|/isValid|(R|<local>/obj|) ->  {
+                R|/consume<Inapplicable(INAPPLICABLE): /consume>#|(R|<local>/obj|)
+            }
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun isValid([ResolvedTo(RAW_FIR)] obj: Any): Boolean { LAZY_BLOCK }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Foo): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/plainCheck.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/plainCheck.copy.txt
new file mode 100644
index 00000000000..4a73479e82f
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/plainCheck.copy.txt
@@ -0,0 +1,40 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol another: R|Foo|
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+    Element 8
+        Scope: FirLocalScope
+Smart Casts:
+    FirValueParameterSymbol obj: R|kotlin/Any|
+    Types:
+        Foo
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] plainCheck.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|, [ResolvedTo(BODY_RESOLVE)] another: R|Foo|): R|kotlin/Unit| {
+        when () {
+            (R|<local>/obj| is R|Foo|) ->  {
+                R|/consume|(R|<local>/another|)
+            }
+        }
+
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Foo): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/require.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/require.copy.txt
new file mode 100644
index 00000000000..a1b2b203468
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/require.copy.txt
@@ -0,0 +1,33 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+Smart Casts:
+    FirValueParameterSymbol obj: R|kotlin/Any|
+    Types:
+        Foo
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] require.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
+        R|kotlin/require|((R|<local>/obj| is R|Foo|))
+        R|/consume|(R|<local>/obj|)
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] obj: Any): R|kotlin/Unit| { LAZY_BLOCK }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/smartCasts/when.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/when.copy.txt
new file mode 100644
index 00000000000..cc918996b99
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/smartCasts/when.copy.txt
@@ -0,0 +1,47 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol obj: R|kotlin/Any|
+    Element 7
+        Scope: FirLocalScope
+    Element 8
+        Scope: FirLocalScope
+Smart Casts:
+    FirValueParameterSymbol obj: R|kotlin/Any|
+    Types:
+        Bar
+        kotlin.Any
+
+FILE: [ResolvedTo(IMPORTS)] when.kt
+    public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] interface Bar : R|kotlin/Any| {
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): R|kotlin/Unit|
+
+    }
+    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
+        when (R|<local>/obj|) {
+            ($subj$ is R|Foo|) ->  {
+                R|<local>/obj|.R|/Foo.foo|()
+            }
+            ($subj$ is R|Bar|) ->  {
+                R|<local>/obj|.R|/Bar.bar|()
+            }
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/typeParameter.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/typeParameter.copy.txt
new file mode 100644
index 00000000000..543db4a746a
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/typeParameter.copy.txt
@@ -0,0 +1,34 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Implicit receiver:
+            FirRegularClassSymbol public final class Foo : R|kotlin/Any|
+                Type: Foo
+    Element 7
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol T
+
+FILE: [ResolvedTo(IMPORTS)] typeParameter.kt
+    public final? [ResolvedTo(RAW_FIR)] class Foo : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|Foo| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] T> foo([ResolvedTo(BODY_RESOLVE)] obj: R|T|): R|kotlin/Unit| {
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun other(): R|kotlin/Unit| { LAZY_BLOCK }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromContextReceiver.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromContextReceiver.copy.txt
new file mode 100644
index 00000000000..6f6e0d76697
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromContextReceiver.copy.txt
@@ -0,0 +1,26 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol MyParam
+
+FILE: [ResolvedTo(IMPORTS)] declaredInClass_fromContextReceiver.kt
+    context(R|MyParam|)
+    public final [ResolvedTo(STATUS)] class Outer<[ResolvedTo(STATUS)] MyParam> : R|kotlin/Any| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor<[ResolvedTo(STATUS)] MyParam>(): R|test/Outer<MyParam>| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromInner_typeBound.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromInner_typeBound.copy.txt
new file mode 100644
index 00000000000..4b2d95bbf6c
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromInner_typeBound.copy.txt
@@ -0,0 +1,44 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeImpl
+            Classifiers:
+                FirRegularClassSymbol public final inner class Inner<T : R|MyParam|, Outer(MyParam)> : R|kotlin/Any|
+    Element 7
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol MyParam
+    Element 8
+        Implicit receiver:
+            FirRegularClassSymbol public final class Outer<MyParam> : R|kotlin/Any|
+                Type: test.Outer<MyParam>
+    Element 9
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol T : R|MyParam|
+
+FILE: [ResolvedTo(IMPORTS)] declaredInClass_fromInner_typeBound.kt
+    public final? [ResolvedTo(SUPER_TYPES)] class Outer<[ResolvedTo(SUPER_TYPES)] MyParam> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(SUPER_TYPES)] MyParam>(): R|test/Outer<MyParam>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final inner [ResolvedTo(STATUS)] class Inner<[ResolvedTo(STATUS)] T : R|MyParam|, [ResolvedTo(SUPER_TYPES)] Outer(MyParam)> : R|kotlin/Any| {
+            public [ResolvedTo(BODY_RESOLVE)] test/Outer<MyParam>.constructor<[ResolvedTo(STATUS)] T : R|MyParam|>(): R|test/Outer.Inner<T, MyParam>| {
+                super<R|kotlin/Any|>()
+            }
+
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromInner_typeRefInMember.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromInner_typeRefInMember.copy.txt
new file mode 100644
index 00000000000..a182445717d
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromInner_typeRefInMember.copy.txt
@@ -0,0 +1,53 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeImpl
+            Classifiers:
+                FirRegularClassSymbol public final inner class Inner<Outer(MyParam)> : R|kotlin/Any|
+    Element 7
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol MyParam
+    Element 8
+        Implicit receiver:
+            FirRegularClassSymbol public final class Outer<MyParam> : R|kotlin/Any|
+                Type: test.Outer<MyParam>
+    Element 9
+        Scope: FirMemberTypeParameterScope
+    Element 10
+        Implicit receiver:
+            FirRegularClassSymbol public final inner class Inner<Outer(MyParam)> : R|kotlin/Any|
+                Type: test.Outer.Inner<MyParam>
+    Element 11
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol p: R|MyParam|
+
+FILE: [ResolvedTo(IMPORTS)] declaredInClass_fromInner_typeRefInMember.kt
+    public final? [ResolvedTo(RAW_FIR)] class Outer<[ResolvedTo(RAW_FIR)] MyParam> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(RAW_FIR)] MyParam>(): R|test/Outer<MyParam>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? inner [ResolvedTo(RAW_FIR)] class Inner<[ResolvedTo(RAW_FIR)] Outer(MyParam)> : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] test/Outer<MyParam>.constructor(): R|test/Outer.Inner<MyParam>| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+            public final [ResolvedTo(BODY_RESOLVE)] fun member([ResolvedTo(BODY_RESOLVE)] p: R|MyParam|): R|kotlin/Unit| {
+            }
+
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromNested_typeBound.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromNested_typeBound.copy.txt
new file mode 100644
index 00000000000..29b3d7ec990
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromNested_typeBound.copy.txt
@@ -0,0 +1,44 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeImpl
+            Classifiers:
+                FirRegularClassSymbol public final class Nested<T : <ERROR TYPE REF: Symbol not found for MyParam>> : R|kotlin/Any|
+    Element 7
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol MyParam
+    Element 8
+        Implicit receiver:
+            FirRegularClassSymbol public final class Outer<MyParam> : R|kotlin/Any|
+                Type: test.Outer<MyParam>
+    Element 9
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol T : <ERROR TYPE REF: Symbol not found for MyParam>
+
+FILE: [ResolvedTo(IMPORTS)] declaredInClass_fromNested_typeBound.kt
+    public final? [ResolvedTo(SUPER_TYPES)] class Outer<[ResolvedTo(SUPER_TYPES)] MyParam> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(SUPER_TYPES)] MyParam>(): R|test/Outer<MyParam>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final [ResolvedTo(STATUS)] class Nested<[ResolvedTo(STATUS)] T : <ERROR TYPE REF: Symbol not found for MyParam>> : R|kotlin/Any| {
+            public [ResolvedTo(BODY_RESOLVE)] constructor<[ResolvedTo(STATUS)] T : <ERROR TYPE REF: Symbol not found for MyParam>>(): R|test/Outer.Nested<T>| {
+                super<R|kotlin/Any|>()
+            }
+
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromNested_typeRefInMember.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromNested_typeRefInMember.copy.txt
new file mode 100644
index 00000000000..fff64cc0754
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromNested_typeRefInMember.copy.txt
@@ -0,0 +1,43 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirNestedClassifierScopeImpl
+            Classifiers:
+                FirRegularClassSymbol public final class Nested : R|kotlin/Any|
+    Element 7
+        Implicit receiver:
+            FirRegularClassSymbol public final class Nested : R|kotlin/Any|
+                Type: test.Outer.Nested
+    Element 8
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol p: <ERROR TYPE REF: Symbol not found for MyParam>
+
+FILE: [ResolvedTo(IMPORTS)] declaredInClass_fromNested_typeRefInMember.kt
+    public final? [ResolvedTo(RAW_FIR)] class Outer<[ResolvedTo(RAW_FIR)] MyParam> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(RAW_FIR)] MyParam>(): R|test/Outer<MyParam>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+        public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+            public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Outer.Nested| {
+                LAZY_super<R|kotlin/Any|>
+            }
+
+            public final [ResolvedTo(BODY_RESOLVE)] fun member([ResolvedTo(BODY_RESOLVE)] p: <ERROR TYPE REF: Symbol not found for MyParam>): R|kotlin/Unit| {
+            }
+
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromSuperType.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromSuperType.copy.txt
new file mode 100644
index 00000000000..f90ae8023dd
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromSuperType.copy.txt
@@ -0,0 +1,31 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol MyParam
+
+FILE: [ResolvedTo(IMPORTS)] declaredInClass_fromSuperType.kt
+    public open [ResolvedTo(RAW_FIR)] class Base<[ResolvedTo(RAW_FIR)] T> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(RAW_FIR)] T>(): R|test/Base<T>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+    }
+    public final [ResolvedTo(STATUS)] class Outer<[ResolvedTo(STATUS)] MyParam> : R|test/Base<MyParam>| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor<[ResolvedTo(STATUS)] MyParam>(): R|test/Outer<MyParam>| {
+            super<R|test/Base<MyParam>|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromTypeBound.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromTypeBound.copy.txt
new file mode 100644
index 00000000000..fcd07ea1e47
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/typeParameters/declaredInClass_fromTypeBound.copy.txt
@@ -0,0 +1,26 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol MyParam
+                FirTypeParameterSymbol Other : R|MyParam|
+
+FILE: [ResolvedTo(IMPORTS)] declaredInClass_fromTypeBound.kt
+    public final [ResolvedTo(STATUS)] class Outer<[ResolvedTo(STATUS)] MyParam, [ResolvedTo(STATUS)] Other : R|MyParam|> : R|kotlin/Any| {
+        public [ResolvedTo(BODY_RESOLVE)] constructor<[ResolvedTo(STATUS)] MyParam, [ResolvedTo(STATUS)] Other : R|MyParam|>(): R|test/Outer<MyParam, Other>| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/wholeDeclaration_class.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/wholeDeclaration_class.copy.txt
new file mode 100644
index 00000000000..93cf0bed85d
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/wholeDeclaration_class.copy.txt
@@ -0,0 +1,43 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol T
+    Element 7
+        Implicit receiver:
+            FirRegularClassSymbol context(R|test/ContextReceiver|)
+            public final class MyClass<T> : R|kotlin/Any|
+                Type: test.MyClass<T>
+    Element 8
+        Context receivers:
+            FirRegularClassSymbol context(R|test/ContextReceiver|)
+            public final class MyClass<T> : R|kotlin/Any|
+                Type: test.ContextReceiver
+                Label: ContextReceiver
+
+FILE: [ResolvedTo(IMPORTS)] wholeDeclaration_class.kt
+    public final? [ResolvedTo(RAW_FIR)] class ContextReceiver : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/ContextReceiver| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+    }
+    context(R|test/ContextReceiver|)
+    public final [ResolvedTo(STATUS)] class MyClass<[ResolvedTo(STATUS)] T> : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor<[ResolvedTo(STATUS)] T>([ResolvedTo(RAW_FIR)] param: String): R|test/MyClass<T>| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testData/contextCollector/wholeDeclaration_fun.copy.txt b/analysis/low-level-api-fir/testData/contextCollector/wholeDeclaration_fun.copy.txt
new file mode 100644
index 00000000000..fbb27760f3b
--- /dev/null
+++ b/analysis/low-level-api-fir/testData/contextCollector/wholeDeclaration_fun.copy.txt
@@ -0,0 +1,49 @@
+Tower Data Context:
+    Element 0
+        Scope: FirDefaultStarImportingScope
+    Element 1
+        Scope: FirExplicitStarImportingScope
+    Element 2
+        Scope: FirDefaultSimpleImportingScope
+    Element 3
+        Scope: FirDefaultSimpleImportingScope
+    Element 4
+        Scope: FirPackageMemberScope
+    Element 5
+        Scope: FirExplicitSimpleImportingScope
+    Element 6
+        Scope: FirMemberTypeParameterScope
+            Classifiers:
+                FirTypeParameterSymbol T
+    Element 7
+        Scope: FirLocalScope
+            Properties:
+                FirValueParameterSymbol param: R|kotlin/String|
+    Element 8
+        Context receivers:
+            FirNamedFunctionSymbol context(R|test/ContextReceiver|)
+            public final fun <T> R|test/Receiver|.test(param: R|kotlin/String|): R|T|
+                Type: test.ContextReceiver
+                Label: ContextReceiver
+    Element 9
+        Implicit receiver:
+            FirNamedFunctionSymbol context(R|test/ContextReceiver|)
+            public final fun <T> R|test/Receiver|.test(param: R|kotlin/String|): R|T|
+                Type: test.Receiver
+
+FILE: [ResolvedTo(IMPORTS)] wholeDeclaration_fun.kt
+    public final? [ResolvedTo(RAW_FIR)] class ContextReceiver : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/ContextReceiver| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+    }
+    public final? [ResolvedTo(RAW_FIR)] class Receiver : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Receiver| {
+            LAZY_super<R|kotlin/Any|>
+        }
+
+    }
+    context(R|test/ContextReceiver|)
+    public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] T> R|test/Receiver|.test([ResolvedTo(BODY_RESOLVE)] param: R|kotlin/String|): R|T| {
+    }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractContextCollectorTest.kt b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractContextCollectorTest.kt
index df3f0e08d4c..e5ac720e6f0 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractContextCollectorTest.kt
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractContextCollectorTest.kt
@@ -35,6 +35,23 @@ import java.lang.IllegalArgumentException
 
 abstract class AbstractContextCollectorTest : AbstractAnalysisApiBasedTest() {
     override fun doTestByMainFile(mainFile: KtFile, mainModule: TestModule, testServices: TestServices) {
+        performTestByMainFile(mainFile, testServices, testPrefix = null)
+
+        val fakeFile = createFileCopy(mainFile)
+        performTestByMainFile(fakeFile, testServices, testPrefix = "copy")
+    }
+
+    private fun createFileCopy(file: KtFile): KtFile {
+        val fakeFile = file.copy() as KtFile
+
+        assert(fakeFile.originalFile == file)
+        assert(!fakeFile.isPhysical)
+        assert(!fakeFile.viewProvider.isEventSystemEnabled)
+
+        return fakeFile
+    }
+
+    private fun performTestByMainFile(mainFile: KtFile, testServices: TestServices, testPrefix: String?) {
         val project = mainFile.project
         val sourceModule = ProjectStructureProvider.getModule(project, mainFile, contextualModule = null)
 
@@ -58,7 +75,7 @@ abstract class AbstractContextCollectorTest : AbstractAnalysisApiBasedTest() {
             append(firRenderer.renderElementAsString(firFile, trim = true))
         }
 
-        testServices.assertions.assertEqualsToTestDataFileSibling(actualText)
+        testServices.assertions.assertEqualsToTestDataFileSibling(actualText, testPrefix = testPrefix)
     }
 }