Added correctness check of test data + fixed huge amount of incorrect code in test data

idea/testData/slicer/inflow/defaultGetterFieldInSetter.kt

@@ -1,7 +1,7 @@
 // FLOW: IN
 
 class A(var b: Boolean) {
-    var foo: Int
+    var foo: Int = 0
         set(value) {
             field = if (b) value else 0
         }

idea/testData/slicer/inflow/defaultGetterFieldInSetter.leafGroups.txt

@@ -1,12 +1,11 @@
-6 field = if (b) value else <bold>0</bold>
+4 var foo: Int = <bold>0</bold>
 10 	val x = <bold>foo</bold>
-4 		var <bold>foo: Int</bold>
+4 		var <bold>foo: Int = 0</bold>
-6 			field = <bold>if (b) value else 0</bold>
+4 			var foo: Int = <bold>0</bold>
-6 				field = if (b) value else <bold>0</bold>
 
 11 foo = <bold>1</bold>
 10 	val x = <bold>foo</bold>
-4 		var <bold>foo: Int</bold>
+4 		var <bold>foo: Int = 0</bold>
 6 			field = <bold>if (b) value else 0</bold>
 6 				field = if (b) <bold>value</bold> else 0
 5 					set(<bold>value</bold>) {

idea/testData/slicer/inflow/defaultGetterFieldInSetter.results.txt

@@ -1,5 +1,6 @@
 10 val x = <bold>foo</bold>
-4 	var <bold>foo: Int</bold>
+4 	var <bold>foo: Int = 0</bold>
+4 		var foo: Int = <bold>0</bold>
 6 		field = <bold>if (b) value else 0</bold>
 6 			field = if (b) <bold>value</bold> else 0
 5 				set(<bold>value</bold>) {

idea/testData/slicer/inflow/delegateToJavaGetter.java

@@ -2,7 +2,7 @@ import kotlin.reflect.KProperty;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 
-public class D {
+class D {
     public static D INSTANCE = new D();
 
     int getValue(@Nullable Object thisRef, @NotNull KProperty<?> property) {

idea/testData/slicer/inflow/diamondHierarchyJKMiddleClassFun.kt

@@ -4,7 +4,7 @@ open class B : A {
     override fun foo() = 2
 }
 
-fun test(a: A, b: B, c: C, d: D) {
+internal fun test(a: A, b: B, c: C, d: D) {
     val x = a.foo()
     val <caret>y = b.foo()
     val z = c.foo()

idea/testData/slicer/inflow/diamondHierarchyJKMiddleInterfaceFun.java

@@ -2,7 +2,7 @@ interface A {
     public int foo();
 }
 
-class B extends A {
+class B implements A {
     public int foo() {
         return 2;
     }

idea/testData/slicer/inflow/diamondHierarchyJKMiddleInterfaceFun.kt

@@ -1,10 +1,10 @@
 // FLOW: IN
 
-interface C : A {
+internal interface C : A {
     override fun foo() = 3
 }
 
-fun test(a: A, b: B, c: C, d: D) {
+internal fun test(a: A, b: B, c: C, d: D) {
     val x = a.foo()
     val y = b.foo()
     val <caret>z = c.foo()

idea/testData/slicer/inflow/diamondHierarchyJKRootInterfaceFun.kt

@@ -4,7 +4,7 @@ interface A {
     fun foo() = 1
 }
 
-fun test(a: A, b: B, c: C, d: D) {
+internal fun test(a: A, b: B, c: C, d: D) {
     val <caret>x = a.foo()
     val y = b.foo()
     val z = c.foo()

idea/testData/slicer/inflow/extensionLambdaImplicitParameter.kt

@@ -12,7 +12,7 @@ fun foo(f: String.(Int) -> Unit) {
 
 fun test() {
     foo {
-        println(<caret>it)
+        val v = <caret>it
     }
 }
 

idea/testData/slicer/inflow/extensionLambdaImplicitParameter.leafGroups.txt

@@ -1,17 +1,17 @@
 4 f("", <bold>1</bold>)
-15 	println(<bold>it</bold>)
+15 	val v = <bold>it</bold>
 14 		[LAMBDA CALLS] foo <bold>{</bold>
 3 			[LAMBDA CALLS] fun foo(<bold>f: String.(Int) -> Unit</bold>) {
 4 				f("", <bold>1</bold>)
 
 6 "".f(<bold>2</bold>)
-15 	println(<bold>it</bold>)
+15 	val v = <bold>it</bold>
 14 		[LAMBDA CALLS] foo <bold>{</bold>
 3 			[LAMBDA CALLS] fun foo(<bold>f: String.(Int) -> Unit</bold>) {
 6 				"".f(<bold>2</bold>)
 
 9 f(<bold>3</bold>)
-15 	println(<bold>it</bold>)
+15 	val v = <bold>it</bold>
 14 		[LAMBDA CALLS] foo <bold>{</bold>
 3 			[LAMBDA CALLS] fun foo(<bold>f: String.(Int) -> Unit</bold>) {
 9 				f(<bold>3</bold>)

idea/testData/slicer/inflow/extensionLambdaImplicitParameter.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-15 	println(<bold>it</bold>)
+15 	val v = <bold>it</bold>
-15 		println(<bold>it</bold>)
+15 		val v = <bold>it</bold>
 

idea/testData/slicer/inflow/extensionLambdaImplicitParameter.results.txt

@@ -1,4 +1,4 @@
-15 println(<bold>it</bold>)
+15 val v = <bold>it</bold>
 14 	[LAMBDA CALLS] foo <bold>{</bold>
 3 		[LAMBDA CALLS] fun foo(<bold>f: String.(Int) -> Unit</bold>) {
 4 			f("", <bold>1</bold>)

idea/testData/slicer/inflow/extensionLambdaParameter.kt

@@ -12,7 +12,7 @@ fun foo(f: String.(Int) -> Unit) {
 
 fun test() {
     foo { i ->
-        println(<caret>i)
+        val v = <caret>i
     }
 }
 

idea/testData/slicer/inflow/extensionLambdaParameter.leafGroups.txt

@@ -1,19 +1,19 @@
 4 f("", <bold>1</bold>)
-15 	println(<bold>i</bold>)
+15 	val v = <bold>i</bold>
 14 		foo { <bold>i</bold> ->
 14 			[LAMBDA CALLS] foo <bold>{ i -></bold>
 3 				[LAMBDA CALLS] fun foo(<bold>f: String.(Int) -> Unit</bold>) {
 4 					f("", <bold>1</bold>)
 
 6 "".f(<bold>2</bold>)
-15 	println(<bold>i</bold>)
+15 	val v = <bold>i</bold>
 14 		foo { <bold>i</bold> ->
 14 			[LAMBDA CALLS] foo <bold>{ i -></bold>
 3 				[LAMBDA CALLS] fun foo(<bold>f: String.(Int) -> Unit</bold>) {
 6 					"".f(<bold>2</bold>)
 
 9 f(<bold>3</bold>)
-15 	println(<bold>i</bold>)
+15 	val v = <bold>i</bold>
 14 		foo { <bold>i</bold> ->
 14 			[LAMBDA CALLS] foo <bold>{ i -></bold>
 3 				[LAMBDA CALLS] fun foo(<bold>f: String.(Int) -> Unit</bold>) {

idea/testData/slicer/inflow/extensionLambdaParameter.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-15 	println(<bold>i</bold>)
+15 	val v = <bold>i</bold>
-15 		println(<bold>i</bold>)
+15 		val v = <bold>i</bold>
 

idea/testData/slicer/inflow/extensionLambdaParameter.results.txt

@@ -1,4 +1,4 @@
-15 println(<bold>i</bold>)
+15 val v = <bold>i</bold>
 14 	foo { <bold>i</bold> ->
 14 		[LAMBDA CALLS] foo <bold>{ i -></bold>
 3 			[LAMBDA CALLS] fun foo(<bold>f: String.(Int) -> Unit</bold>) {

idea/testData/slicer/inflow/funParamerer.java

@@ -1,6 +1,6 @@
 class J {
     void test() {
-        FunParamererKt.foo(1):
+        FunParamererKt.foo(1);
-        FunParamererKt.foo(1, "2"):
+        FunParamererKt.foo(1, "2");
     }
 }

idea/testData/slicer/inflow/funParamerer.kt

@@ -1,4 +1,5 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 @JvmOverloads
 fun foo(<caret>n: Int, s: String = "???") {

idea/testData/slicer/inflow/funParamerer.leafGroups.txt

@@ -1,8 +1,8 @@
-3 FunParamererKt.foo(<bold>1</bold>):
+3 FunParamererKt.foo(<bold>1</bold>);
-4 	fun foo(<bold>n: Int</bold>, s: String = "???") {
+5 	fun foo(<bold>n: Int</bold>, s: String = "???") {
-3 		FunParamererKt.foo(<bold>1</bold>):
+3 		FunParamererKt.foo(<bold>1</bold>);
 
-9 foo(<bold>1</bold>)
+10 foo(<bold>1</bold>)
-4 	fun foo(<bold>n: Int</bold>, s: String = "???") {
+5 	fun foo(<bold>n: Int</bold>, s: String = "???") {
-9 		foo(<bold>1</bold>)
+10 		foo(<bold>1</bold>)
 

idea/testData/slicer/inflow/funParamerer.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-4 	fun foo(<bold>n: Int</bold>, s: String = "???") {
+5 	fun foo(<bold>n: Int</bold>, s: String = "???") {
-4 		fun foo(<bold>n: Int</bold>, s: String = "???") {
+5 		fun foo(<bold>n: Int</bold>, s: String = "???") {
 

idea/testData/slicer/inflow/funParamerer.results.txt

@@ -1,8 +1,8 @@
-4 fun foo(<bold>n: Int</bold>, s: String = "???") {
+5 fun foo(<bold>n: Int</bold>, s: String = "???") {
-3 	FunParamererKt.foo(<bold>1</bold>):
+3 	FunParamererKt.foo(<bold>1</bold>);
-4 	FunParamererKt.foo(<bold>1</bold>, "2"):
+4 	FunParamererKt.foo(<bold>1</bold>, "2");
-9 	foo(<bold>1</bold>)
+10 	foo(<bold>1</bold>)
-10 	foo(<bold>1</bold>, "2")
+11 	foo(<bold>1</bold>, "2")
-11 	foo(<bold>1</bold>, s = "2")
+12 	foo(<bold>1</bold>, s = "2")
-12 	foo(n = <bold>1</bold>, s = "2")
+13 	foo(n = <bold>1</bold>, s = "2")
-13 	foo(s = "2", n = <bold>1</bold>)
+14 	foo(s = "2", n = <bold>1</bold>)

idea/testData/slicer/inflow/funParamererWithDefault.java

@@ -1,6 +1,6 @@
 class J {
     void test() {
-        FunParamererWithDefaultKt.foo(1):
+        FunParamererWithDefaultKt.foo(1);
-        FunParamererWithDefaultKt.foo(1, "2"):
+        FunParamererWithDefaultKt.foo(1, "2");
     }
 }

idea/testData/slicer/inflow/funParamererWithDefault.kt

@@ -1,4 +1,5 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 @JvmOverloads
 fun foo(n: Int, <caret>s: String = "???") {

idea/testData/slicer/inflow/funParamererWithDefault.leafGroups.txt

@@ -1,12 +1,12 @@
-4 FunParamererWithDefaultKt.foo(1, <bold>"2"</bold>):
+4 FunParamererWithDefaultKt.foo(1, <bold>"2"</bold>);
-4 	fun foo(n: Int, <bold>s: String = "???"</bold>) {
+5 	fun foo(n: Int, <bold>s: String = "???"</bold>) {
-4 		FunParamererWithDefaultKt.foo(1, <bold>"2"</bold>):
+4 		FunParamererWithDefaultKt.foo(1, <bold>"2"</bold>);
 
-10 foo(1, <bold>"2"</bold>)
+11 foo(1, <bold>"2"</bold>)
-4 	fun foo(n: Int, <bold>s: String = "???"</bold>) {
+5 	fun foo(n: Int, <bold>s: String = "???"</bold>) {
-10 		foo(1, <bold>"2"</bold>)
+11 		foo(1, <bold>"2"</bold>)
 
-4 fun foo(n: Int, s: String = <bold>"???"</bold>) {
+5 fun foo(n: Int, s: String = <bold>"???"</bold>) {
-4 	fun foo(n: Int, <bold>s: String = "???"</bold>) {
+5 	fun foo(n: Int, <bold>s: String = "???"</bold>) {
-4 		fun foo(n: Int, s: String = <bold>"???"</bold>) {
+5 		fun foo(n: Int, s: String = <bold>"???"</bold>) {
 

idea/testData/slicer/inflow/funParamererWithDefault.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-4 	fun foo(n: Int, <bold>s: String = "???"</bold>) {
+5 	fun foo(n: Int, <bold>s: String = "???"</bold>) {
-4 		fun foo(n: Int, <bold>s: String = "???"</bold>) {
+5 		fun foo(n: Int, <bold>s: String = "???"</bold>) {
 

idea/testData/slicer/inflow/funParamererWithDefault.results.txt

@@ -1,7 +1,7 @@
-4 fun foo(n: Int, <bold>s: String = "???"</bold>) {
+5 fun foo(n: Int, <bold>s: String = "???"</bold>) {
-4 	fun foo(n: Int, s: String = <bold>"???"</bold>) {
+5 	fun foo(n: Int, s: String = <bold>"???"</bold>) {
-10 	foo(1, <bold>"2"</bold>)
+4 	FunParamererWithDefaultKt.foo(1, <bold>"2"</bold>);
-4 	FunParamererWithDefaultKt.foo(1, <bold>"2"</bold>):
+11 	foo(1, <bold>"2"</bold>)
-11 	foo(1, s = <bold>"2"</bold>)
+12 	foo(1, s = <bold>"2"</bold>)
-12 	foo(n = 1, s = <bold>"2"</bold>)
+13 	foo(n = 1, s = <bold>"2"</bold>)
-13 	foo(s = <bold>"2"</bold>, n = 1)
+14 	foo(s = <bold>"2"</bold>, n = 1)

idea/testData/slicer/inflow/getterAndSetterUsingField.kt

@@ -1,7 +1,7 @@
 // FLOW: IN
 
 class A(var b: Boolean) {
-    var foo: Int
+    var foo: Int = -1
         get() = if (b) field else 0
         set(value) {
             field = if (b) value else 0

idea/testData/slicer/inflow/getterAndSetterUsingField.leafGroups.txt

@@ -1,6 +1,11 @@
+4 var foo: Int = <bold>-1</bold>
+11 	val x = <bold>foo</bold>
+4 		var <bold>foo: Int = -1</bold>
+4 			var foo: Int = <bold>-1</bold>
+
 7 field = if (b) value else <bold>0</bold>
 11 	val x = <bold>foo</bold>
-4 		var <bold>foo: Int</bold>
+4 		var <bold>foo: Int = -1</bold>
 5 			get() = <bold>if (b) field else 0</bold>
 5 				get() = if (b) <bold>field</bold> else 0
 7 					field = <bold>if (b) value else 0</bold>
@@ -8,7 +13,7 @@
 
 12 foo = <bold>1</bold>
 11 	val x = <bold>foo</bold>
-4 		var <bold>foo: Int</bold>
+4 		var <bold>foo: Int = -1</bold>
 5 			get() = <bold>if (b) field else 0</bold>
 5 				get() = if (b) <bold>field</bold> else 0
 7 					field = <bold>if (b) value else 0</bold>

idea/testData/slicer/inflow/getterAndSetterUsingField.results.txt

@@ -1,5 +1,6 @@
 11 val x = <bold>foo</bold>
-4 	var <bold>foo: Int</bold>
+4 	var <bold>foo: Int = -1</bold>
+4 		var foo: Int = <bold>-1</bold>
 5 		get() = <bold>if (b) field else 0</bold>
 5 			get() = if (b) <bold>field</bold> else 0
 7 				field = <bold>if (b) value else 0</bold>

idea/testData/slicer/inflow/lambdaImplicitParameter.kt

@@ -1,11 +1,11 @@
 // FLOW: IN
 
-fun foo(f: (Int) -> Unit): Int {
+fun foo(f: (Int) -> Unit) {
-    return f(1)
+    f(1)
 }
 
 fun test() {
     foo {
-        println(<caret>it)
+        val v = <caret>it
     }
 }

idea/testData/slicer/inflow/lambdaImplicitParameter.leafGroups.txt

@@ -1,6 +1,6 @@
-4 return f(<bold>1</bold>)
+4 f(<bold>1</bold>)
-9 	println(<bold>it</bold>)
+9 	val v = <bold>it</bold>
 8 		[LAMBDA CALLS] foo <bold>{</bold>
-3 			[LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>): Int {
+3 			[LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>) {
-4 				return f(<bold>1</bold>)
+4 				f(<bold>1</bold>)
 

idea/testData/slicer/inflow/lambdaImplicitParameter.nullnessGroups.txt

@@ -1,3 +1,4 @@
 [NotNull Values]
-9 	println(<bold>it</bold>)
+9 	val v = <bold>it</bold>
-9 		println(<bold>it</bold>)
+9 		val v = <bold>it</bold>
+

idea/testData/slicer/inflow/lambdaImplicitParameter.results.txt

@@ -1,4 +1,4 @@
-9 println(<bold>it</bold>)
+9 val v = <bold>it</bold>
 8 	[LAMBDA CALLS] foo <bold>{</bold>
-3 		[LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>): Int {
+3 		[LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>) {
-4 			return f(<bold>1</bold>)
+4 			f(<bold>1</bold>)

idea/testData/slicer/inflow/lambdaParameter.kt

@@ -1,11 +1,11 @@
 // FLOW: IN
 
-fun foo(f: (Int) -> Unit): Int {
+fun foo(f: (Int) -> Unit) {
-    return f(1)
+    f(1)
 }
 
 fun test() {
     foo { value ->
-        println(<caret>value)
+        val v = <caret>value
     }
 }

idea/testData/slicer/inflow/lambdaParameter.leafGroups.txt

@@ -1,7 +1,7 @@
-4 return f(<bold>1</bold>)
+4 f(<bold>1</bold>)
-9 	println(<bold>value</bold>)
+9 	val v = <bold>value</bold>
 8 		foo { <bold>value</bold> ->
 8 			[LAMBDA CALLS] foo <bold>{ value -></bold>
-3 				[LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>): Int {
+3 				[LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>) {
-4 					return f(<bold>1</bold>)
+4 					f(<bold>1</bold>)
 

idea/testData/slicer/inflow/lambdaParameter.nullnessGroups.txt

@@ -1,3 +1,4 @@
 [NotNull Values]
-9 	println(<bold>value</bold>)
+9 	val v = <bold>value</bold>
-9 		println(<bold>value</bold>)
+9 		val v = <bold>value</bold>
+

idea/testData/slicer/inflow/lambdaParameter.results.txt

@@ -1,5 +1,5 @@
-9 println(<bold>value</bold>)
+9 val v = <bold>value</bold>
 8 	foo { <bold>value</bold> ->
 8 		[LAMBDA CALLS] foo <bold>{ value -></bold>
-3 			[LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>): Int {
+3 			[LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>) {
-4 				return f(<bold>1</bold>)
+4 				f(<bold>1</bold>)

idea/testData/slicer/inflow/noFieldInGetter.kt

@@ -1,7 +1,7 @@
 // FLOW: IN
 
 class A(var b: Boolean) {
-    var foo: Int
+    var foo: Int = 0
         get() = 1
         set(value) {
             field = value + 1

idea/testData/slicer/inflow/noFieldInGetter.leafGroups.txt

@@ -1,5 +1,10 @@
+4 var foo: Int = <bold>0</bold>
+11 	val x = <bold>foo</bold>
+4 		var <bold>foo: Int = 0</bold>
+4 			var foo: Int = <bold>0</bold>
+
 5 get() = <bold>1</bold>
 11 	val x = <bold>foo</bold>
-4 		var <bold>foo: Int</bold>
+4 		var <bold>foo: Int = 0</bold>
 5 			get() = <bold>1</bold>
 

idea/testData/slicer/inflow/noFieldInGetter.results.txt

@@ -1,3 +1,4 @@
 11 val x = <bold>foo</bold>
-4 	var <bold>foo: Int</bold>
+4 	var <bold>foo: Int = 0</bold>
+4 		var foo: Int = <bold>0</bold>
 5 		get() = <bold>1</bold>

idea/testData/slicer/inflow/nullsAndNotNulls.kt

@@ -1,6 +1,6 @@
 // FLOW: IN
 
-fun test(n: Int): String {
+fun test(n: Int): String? {
     var s = when {
         n > 0 -> "+"
         n < 0 -> "-"

idea/testData/slicer/inflow/onFunctionReceiverType.kt

@@ -1,4 +1,5 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 @file: JvmName("KotlinUtil")
 

idea/testData/slicer/inflow/onFunctionReceiverType.leafGroups.txt

@@ -1,17 +1,17 @@
-11 <bold>""</bold>.extensionFun()
+12 <bold>""</bold>.extensionFun()
-7 	fun <bold>Any</bold>.extensionFun() {
+8 	fun <bold>Any</bold>.extensionFun() {
-11 		<bold>""</bold>.extensionFun()
+12 		<bold>""</bold>.extensionFun()
 
-19 <bold>"A"</bold>.foo()
+20 <bold>"A"</bold>.foo()
-7 	fun <bold>Any</bold>.extensionFun() {
+8 	fun <bold>Any</bold>.extensionFun() {
-10 		fun <bold>String</bold>.foo() {
+11 		fun <bold>String</bold>.foo() {
-19 			<bold>"A"</bold>.foo()
+20 			<bold>"A"</bold>.foo()
 
 3 KotlinUtil.extensionFun(<bold>"x"</bold>);
-7 	fun <bold>Any</bold>.extensionFun() {
+8 	fun <bold>Any</bold>.extensionFun() {
 3 		KotlinUtil.extensionFun(<bold>"x"</bold>);
 
-13 <bold>1</bold>.extensionFun()
+14 <bold>1</bold>.extensionFun()
-7 	fun <bold>Any</bold>.extensionFun() {
+8 	fun <bold>Any</bold>.extensionFun() {
-13 		<bold>1</bold>.extensionFun()
+14 		<bold>1</bold>.extensionFun()
 

idea/testData/slicer/inflow/onFunctionReceiverType.nullnessGroups.txt

@@ -1,17 +1,17 @@
 [NotNull Values]
-11 	<bold>""</bold>.extensionFun()
+12 	<bold>""</bold>.extensionFun()
-7 		fun <bold>Any</bold>.extensionFun() {
+8 		fun <bold>Any</bold>.extensionFun() {
-11 			<bold>""</bold>.extensionFun()
+12 			<bold>""</bold>.extensionFun()
-13 	<bold>1</bold>.extensionFun()
+14 	<bold>1</bold>.extensionFun()
-7 		fun <bold>Any</bold>.extensionFun() {
+8 		fun <bold>Any</bold>.extensionFun() {
-13 			<bold>1</bold>.extensionFun()
+14 			<bold>1</bold>.extensionFun()
-19 	<bold>"A"</bold>.foo()
+20 	<bold>"A"</bold>.foo()
-7 		fun <bold>Any</bold>.extensionFun() {
+8 		fun <bold>Any</bold>.extensionFun() {
-10 			fun <bold>String</bold>.foo() {
+11 			fun <bold>String</bold>.foo() {
-19 				<bold>"A"</bold>.foo()
+20 				<bold>"A"</bold>.foo()
 
 [Other Values]
 3 	KotlinUtil.extensionFun(<bold>"x"</bold>);
-7 		fun <bold>Any</bold>.extensionFun() {
+8 		fun <bold>Any</bold>.extensionFun() {
 3 			KotlinUtil.extensionFun(<bold>"x"</bold>);
 

idea/testData/slicer/inflow/onFunctionReceiverType.results.txt

@@ -1,6 +1,6 @@
-7 fun <bold>Any</bold>.extensionFun() {
+8 fun <bold>Any</bold>.extensionFun() {
 3 	KotlinUtil.extensionFun(<bold>"x"</bold>);
-10 	fun <bold>String</bold>.foo() {
+11 	fun <bold>String</bold>.foo() {
-19 		<bold>"A"</bold>.foo()
+20 		<bold>"A"</bold>.foo()
-11 	<bold>""</bold>.extensionFun()
+12 	<bold>""</bold>.extensionFun()
-13 	<bold>1</bold>.extensionFun()
+14 	<bold>1</bold>.extensionFun()

idea/testData/slicer/inflow/onPropertyReceiverType.kt

@@ -5,6 +5,6 @@ var <caret>Any.property: Int
     set(value) { }
 
 fun foo() {
-    println("a".property)
+    val v = "a".property
     "b".property = 2
 }

idea/testData/slicer/inflow/onPropertyReceiverType.leafGroups.txt

@@ -2,6 +2,7 @@
 3 	var <bold>Any</bold>.property: Int
 9 		<bold>"b"</bold>.property = 2
 
-8 println(<bold>"a"</bold>.property)
+8 val v = <bold>"a"</bold>.property
 3 	var <bold>Any</bold>.property: Int
-8 		println(<bold>"a"</bold>.property)
+8 		val v = <bold>"a"</bold>.property
+

idea/testData/slicer/inflow/onPropertyReceiverType.nullnessGroups.txt

@@ -1,7 +1,8 @@
 [NotNull Values]
-8 	println(<bold>"a"</bold>.property)
+8 	val v = <bold>"a"</bold>.property
 3 		var <bold>Any</bold>.property: Int
-8 			println(<bold>"a"</bold>.property)
+8 			val v = <bold>"a"</bold>.property
 9 	<bold>"b"</bold>.property = 2
 3 		var <bold>Any</bold>.property: Int
 9 			<bold>"b"</bold>.property = 2
+

idea/testData/slicer/inflow/onPropertyReceiverType.results.txt

@@ -1,3 +1,3 @@
 3 var <bold>Any</bold>.property: Int
-8 	println(<bold>"a"</bold>.property)
+8 	val v = <bold>"a"</bold>.property
 9 	<bold>"b"</bold>.property = 2

idea/testData/slicer/inflow/openFun.kt

@@ -1,20 +1,21 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 open class C {
-    var other: C? = null
+    private var other: C? = null
 
-    fun foo(p: Int) {
+    open fun foo(p: Int) {
         println(p + 1)
         other?.bar(p + 1)
     }
 
-    fun bar(p: Int) {
+    open fun bar(p: Int) {
         println(<caret>p + 2)
     }
 }
 
 class D : C() {
-    var other: D? = null
+    private var other: D? = null
 
     override fun foo(p: Int) {
         println(p + 3)

idea/testData/slicer/inflow/openFun.leafGroups.txt

@@ -1,5 +1,5 @@
-8 other?.bar(<bold>p + 1</bold>)
+9 other?.bar(<bold>p + 1</bold>)
-12 	println(<bold>p</bold> + 2)
+13 	println(<bold>p</bold> + 2)
-11 		fun bar(<bold>p: Int</bold>) {
+12 		open fun bar(<bold>p: Int</bold>) {
-8 			other?.bar(<bold>p + 1</bold>)
+9 			other?.bar(<bold>p + 1</bold>)
 

idea/testData/slicer/inflow/openFun.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-12 	println(<bold>p</bold> + 2)
+13 	println(<bold>p</bold> + 2)
-12 		println(<bold>p</bold> + 2)
+13 		println(<bold>p</bold> + 2)
 

idea/testData/slicer/inflow/openFun.results.txt

@@ -1,3 +1,3 @@
-12 println(<bold>p</bold> + 2)
+13 println(<bold>p</bold> + 2)
-11 	fun bar(<bold>p: Int</bold>) {
+12 	open fun bar(<bold>p: Int</bold>) {
-8 		other?.bar(<bold>p + 1</bold>)
+9 		other?.bar(<bold>p + 1</bold>)

idea/testData/slicer/inflow/openFunInvokeOnParameter.kt

@@ -1,20 +1,21 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 open class C {
-    var other: C? = null
+    private var other: C? = null
 
-    fun foo(p: Int) {
+    open fun foo(p: Int) {
         println(p + 1)
         other?.bar(p + 1)
     }
 
-    fun bar(<caret>p: Int) {
+    open fun bar(<caret>p: Int) {
         println(p + 2)
     }
 }
 
 class D : C() {
-    var other: D? = null
+    private var other: D? = null
 
     override fun foo(p: Int) {
         println(p + 3)

idea/testData/slicer/inflow/openFunInvokeOnParameter.leafGroups.txt

@@ -1,7 +1,8 @@
-8 other?.bar(<bold>p + 1</bold>)
+9 other?.bar(<bold>p + 1</bold>)
-11 	fun bar(<bold>p: Int</bold>) {
+12 	open fun bar(<bold>p: Int</bold>) {
-8 		other?.bar(<bold>p + 1</bold>)
+9 		other?.bar(<bold>p + 1</bold>)
+
+22 other?.bar(<bold>p + 3</bold>)
+12 	open fun bar(<bold>p: Int</bold>) {
+22 		other?.bar(<bold>p + 3</bold>)
 
-21 other?.bar(<bold>p + 3</bold>)
-11 	fun bar(<bold>p: Int</bold>) {
-21 		other?.bar(<bold>p + 3</bold>)

idea/testData/slicer/inflow/openFunInvokeOnParameter.nullnessGroups.txt

@@ -1,3 +1,4 @@
 [NotNull Values]
-11 	fun bar(<bold>p: Int</bold>) {
+12 	open fun bar(<bold>p: Int</bold>) {
-11 		fun bar(<bold>p: Int</bold>) {
+12 		open fun bar(<bold>p: Int</bold>) {
+

idea/testData/slicer/inflow/openFunInvokeOnParameter.results.txt

@@ -1,3 +1,3 @@
-11 fun bar(<bold>p: Int</bold>) {
+12 open fun bar(<bold>p: Int</bold>) {
-8 	other?.bar(<bold>p + 1</bold>)
+9 	other?.bar(<bold>p + 1</bold>)
-21 	other?.bar(<bold>p + 3</bold>)
+22 	other?.bar(<bold>p + 3</bold>)

idea/testData/slicer/inflow/overrideExtension1.kt

@@ -2,7 +2,7 @@
 
 open class Base {
     open fun Int.extensionFun() {
-        println(<caret>this)
+        val v = <caret>this
     }
 
     fun baseF() {

idea/testData/slicer/inflow/overrideExtension1.leafGroups.txt

@@ -1,4 +1,5 @@
 9 <bold>1</bold>.extensionFun()
-5 	println(<bold>this</bold>)
+5 	val v = <bold>this</bold>
 4 		open fun <bold>Int</bold>.extensionFun() {
 9 			<bold>1</bold>.extensionFun()
+

idea/testData/slicer/inflow/overrideExtension1.nullnessGroups.txt

@@ -1,3 +1,4 @@
 [NotNull Values]
-5 	println(<bold>this</bold>)
+5 	val v = <bold>this</bold>
-5 		println(<bold>this</bold>)
+5 		val v = <bold>this</bold>
+

idea/testData/slicer/inflow/overrideExtension1.results.txt

@@ -1,3 +1,3 @@
-5 println(<bold>this</bold>)
+5 val v = <bold>this</bold>
 4 	open fun <bold>Int</bold>.extensionFun() {
 9 		<bold>1</bold>.extensionFun()

idea/testData/slicer/inflow/overrideExtension2.kt

@@ -2,7 +2,7 @@
 
 open class Base {
     open fun <caret>Int.extensionFun() {
-        println(this)
+        val v = this
     }
 
     fun baseF() {

idea/testData/slicer/inflow/overrideFun.kt

@@ -6,7 +6,7 @@ interface I {
 
 class C : I, JavaInterface {
     override fun foo(p: Int) {
-        println(<caret>p)
+        val v = <caret>p
     }
 
     fun f() {
@@ -18,6 +18,6 @@ fun f(i: I) {
     i.foo(2)
 }
 
-fun g(i: JavaInterface) {
+internal fun g(i: JavaInterface) {
     i.foo(3)
 }

idea/testData/slicer/inflow/overrideFun.leafGroups.txt

@@ -1,15 +1,15 @@
 2 void <bold>foo(int p);</bold>
-9 	println(<bold>p</bold>)
+9 	val v = <bold>p</bold>
 8 		override fun foo(<bold>p: Int</bold>) {
 2 			void <bold>foo(int p);</bold>
 
 13 foo(<bold>1</bold>)
-9 	println(<bold>p</bold>)
+9 	val v = <bold>p</bold>
 8 		override fun foo(<bold>p: Int</bold>) {
 13 			foo(<bold>1</bold>)
 
 18 i.foo(<bold>2</bold>)
-9 	println(<bold>p</bold>)
+9 	val v = <bold>p</bold>
 8 		override fun foo(<bold>p: Int</bold>) {
 18 			i.foo(<bold>2</bold>)
 

idea/testData/slicer/inflow/overrideFun.nullnessGroups.txt

@@ -1,3 +1,4 @@
 [NotNull Values]
-9 	println(<bold>p</bold>)
+9 	val v = <bold>p</bold>
-9 		println(<bold>p</bold>)
+9 		val v = <bold>p</bold>
+

idea/testData/slicer/inflow/overrideFun.results.txt

@@ -1,4 +1,4 @@
-9 println(<bold>p</bold>)
+9 val v = <bold>p</bold>
 8 	override fun foo(<bold>p: Int</bold>) {
 2 		void <bold>foo(int p);</bold>
 13 		foo(<bold>1</bold>)

idea/testData/slicer/inflow/overridingParameter.java

@@ -1,4 +1,8 @@
 class D extends B {
+    D() {
+        super(10);
+    }
+
     public int getFoo() {
         return 5;
     }

idea/testData/slicer/inflow/overridingParameter.kt

@@ -6,7 +6,7 @@ open class A {
 
 open class B(override val foo: Int) : A()
 
-class C : B() {
+class C : B(1) {
     override val foo = 3
 }
 

idea/testData/slicer/inflow/overridingParameter.leafGroups.txt

@@ -1,7 +1,8 @@
-7 open class B(override val <bold>foo: Int</bold>) : A()
+9 class C : B(<bold>1</bold>) {
 15 	val <bold>y = b.foo</bold>
 15 		val y = <bold>b.foo</bold>
 7 			open class B(override val <bold>foo: Int</bold>) : A()
+9 				class C : B(<bold>1</bold>) {
 
 10 override val foo = <bold>3</bold>
 15 	val <bold>y = b.foo</bold>
@@ -9,8 +10,14 @@
 10 			override val <bold>foo = 3</bold>
 10 				override val foo = <bold>3</bold>
 
-3 return <bold>5</bold>;
+7 return <bold>5</bold>;
 15 	val <bold>y = b.foo</bold>
 15 		val y = <bold>b.foo</bold>
-3 			return <bold>5</bold>;
+7 			return <bold>5</bold>;
+
+3 super(<bold>10</bold>);
+15 	val <bold>y = b.foo</bold>
+15 		val y = <bold>b.foo</bold>
+7 			open class B(override val <bold>foo: Int</bold>) : A()
+3 				super(<bold>10</bold>);
 

idea/testData/slicer/inflow/overridingParameter.results.txt

@@ -1,6 +1,8 @@
 15 val <bold>y = b.foo</bold>
 15 	val y = <bold>b.foo</bold>
-3 		return <bold>5</bold>;
 7 		open class B(override val <bold>foo: Int</bold>) : A()
+3 			super(<bold>10</bold>);
+9 			class C : B(<bold>1</bold>) {
+7 		return <bold>5</bold>;
 10 		override val <bold>foo = 3</bold>
 10 			override val foo = <bold>3</bold>

idea/testData/slicer/inflow/primaryConstructorParameter.kt

@@ -1,4 +1,5 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 open class A @JvmOverloads constructor(<caret>n: Int, s: String = "???")
 

idea/testData/slicer/inflow/primaryConstructorParameter.leafGroups.txt

@@ -1,13 +1,13 @@
 2 D(int <bold>n</bold>, String s) {
-3 	open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+4 	open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
 3 		super(<bold>n</bold>, s);
 2 			D(int <bold>n</bold>, String s) {
 
-5 class B1: A(<bold>1</bold>)
+6 class B1: A(<bold>1</bold>)
-3 	open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+4 	open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
-5 		class B1: A(<bold>1</bold>)
+6 		class B1: A(<bold>1</bold>)
 
 11 new A(<bold>1</bold>);
-3 	open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+4 	open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
 11 		new A(<bold>1</bold>);
 

idea/testData/slicer/inflow/primaryConstructorParameter.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-3 	open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+4 	open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
-3 		open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+4 		open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
 

idea/testData/slicer/inflow/primaryConstructorParameter.results.txt

@@ -1,17 +1,17 @@
-3 open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+4 open class A @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
 3 	super(<bold>n</bold>, s);
 2 		D(int <bold>n</bold>, String s) {
-5 	class B1: A(<bold>1</bold>)
 7 	super(<bold>n</bold>);
 6 		D(int <bold>n</bold>) {
-6 	class B2: A(<bold>1</bold>, "2")
+6 	class B1: A(<bold>1</bold>)
-7 	class B3: A(<bold>1</bold>, s = "2")
+7 	class B2: A(<bold>1</bold>, "2")
+8 	class B3: A(<bold>1</bold>, s = "2")
 11 	new A(<bold>1</bold>);
-8 	class B4: A(n = <bold>1</bold>, s = "2")
 12 	new A(<bold>1</bold>, "2");
-9 	class B5: A(s = "2", n = <bold>1</bold>)
+9 	class B4: A(n = <bold>1</bold>, s = "2")
-12 	A(<bold>1</bold>)
+10 	class B5: A(s = "2", n = <bold>1</bold>)
-13 	A(<bold>1</bold>, "2")
+13 	A(<bold>1</bold>)
-14 	A(<bold>1</bold>, s = "2")
+14 	A(<bold>1</bold>, "2")
-15 	A(n = <bold>1</bold>, s = "2")
+15 	A(<bold>1</bold>, s = "2")
-16 	A(s = "2", n = <bold>1</bold>)
+16 	A(n = <bold>1</bold>, s = "2")
+17 	A(s = "2", n = <bold>1</bold>)

idea/testData/slicer/inflow/primaryConstructorParameterWithDefault.kt

@@ -1,4 +1,5 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 open class A @JvmOverloads constructor(n: Int, <caret>s: String = "???")
 

idea/testData/slicer/inflow/primaryConstructorParameterWithDefault.leafGroups.txt

@@ -1,17 +1,17 @@
-6 class B2: A(1, <bold>"2"</bold>)
+7 class B2: A(1, <bold>"2"</bold>)
-3 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+4 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
-6 		class B2: A(1, <bold>"2"</bold>)
+7 		class B2: A(1, <bold>"2"</bold>)
 
 12 new A(1, <bold>"2"</bold>);
-3 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+4 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
 12 		new A(1, <bold>"2"</bold>);
 
 2 D(int n, String <bold>s</bold>) {
-3 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+4 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
 3 		super(n, <bold>s</bold>);
 2 			D(int n, String <bold>s</bold>) {
 
-3 open class A @JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
+4 open class A @JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
-3 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+4 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
-3 		open class A @JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
+4 		open class A @JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
 

idea/testData/slicer/inflow/primaryConstructorParameterWithDefault.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-3 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+4 	open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
-3 		open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+4 		open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
 

idea/testData/slicer/inflow/primaryConstructorParameterWithDefault.results.txt

@@ -1,13 +1,13 @@
-3 open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+4 open class A @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
 3 	super(n, <bold>s</bold>);
 2 		D(int n, String <bold>s</bold>) {
-3 	open class A @JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
+4 	open class A @JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
-6 	class B2: A(1, <bold>"2"</bold>)
+7 	class B2: A(1, <bold>"2"</bold>)
-7 	class B3: A(1, s = <bold>"2"</bold>)
+8 	class B3: A(1, s = <bold>"2"</bold>)
-8 	class B4: A(n = 1, s = <bold>"2"</bold>)
 12 	new A(1, <bold>"2"</bold>);
-9 	class B5: A(s = <bold>"2"</bold>, n = 1)
+9 	class B4: A(n = 1, s = <bold>"2"</bold>)
-13 	A(1, <bold>"2"</bold>)
+10 	class B5: A(s = <bold>"2"</bold>, n = 1)
-14 	A(1, s = <bold>"2"</bold>)
+14 	A(1, <bold>"2"</bold>)
-15 	A(n = 1, s = <bold>"2"</bold>)
+15 	A(1, s = <bold>"2"</bold>)
-16 	A(s = <bold>"2"</bold>, n = 1)
+16 	A(n = 1, s = <bold>"2"</bold>)
+17 	A(s = <bold>"2"</bold>, n = 1)

idea/testData/slicer/inflow/qualifiedAssignmentsForQualifiedRef.kt

@@ -5,12 +5,12 @@ class AClass(name1: String){
     fun uses(){
         name = "uses: bye"
         this.name = "uses: after this"
-        println("And now my name is '$name'")
+        val v = "And now my name is '$name'"
     }
 }
 
 fun main(args: Array<String>) {
     val a = AClass("main: hello")
     a.name = "main: bye"
-    println("Now my name is '${a.<caret>name}'")
+    val v = "Now my name is '${a.<caret>name}'"
 }

idea/testData/slicer/inflow/qualifiedAssignmentsForQualifiedRef.leafGroups.txt

@@ -1,21 +1,22 @@
 13 val a = AClass(<bold>"main: hello"</bold>)
-15 	println("Now my name is '${a.<bold>name</bold>}'")
+15 	val v = "Now my name is '${a.<bold>name</bold>}'"
 4 		var <bold>name : String = name1</bold>
 4 			var name : String = <bold>name1</bold>
 3 				class AClass(<bold>name1: String</bold>){
 13 					val a = AClass(<bold>"main: hello"</bold>)
 
 14 a.name = <bold>"main: bye"</bold>
-15 	println("Now my name is '${a.<bold>name</bold>}'")
+15 	val v = "Now my name is '${a.<bold>name</bold>}'"
 4 		var <bold>name : String = name1</bold>
 14 			a.name = <bold>"main: bye"</bold>
 
 6 name = <bold>"uses: bye"</bold>
-15 	println("Now my name is '${a.<bold>name</bold>}'")
+15 	val v = "Now my name is '${a.<bold>name</bold>}'"
 4 		var <bold>name : String = name1</bold>
 6 			name = <bold>"uses: bye"</bold>
 
 7 this.name = <bold>"uses: after this"</bold>
-15 	println("Now my name is '${a.<bold>name</bold>}'")
+15 	val v = "Now my name is '${a.<bold>name</bold>}'"
 4 		var <bold>name : String = name1</bold>
 7 			this.name = <bold>"uses: after this"</bold>
+

idea/testData/slicer/inflow/qualifiedAssignmentsForQualifiedRef.nullnessGroups.txt

@@ -1,3 +1,4 @@
 [NotNull Values]
-15 	println("Now my name is '${a.<bold>name</bold>}'")
+15 	val v = "Now my name is '${a.<bold>name</bold>}'"
-15 		println("Now my name is '${a.<bold>name</bold>}'")
+15 		val v = "Now my name is '${a.<bold>name</bold>}'"
+

idea/testData/slicer/inflow/qualifiedAssignmentsForQualifiedRef.results.txt

@@ -1,4 +1,4 @@
-15 println("Now my name is '${a.<bold>name</bold>}'")
+15 val v = "Now my name is '${a.<bold>name</bold>}'"
 4 	var <bold>name : String = name1</bold>
 4 		var name : String = <bold>name1</bold>
 3 			class AClass(<bold>name1: String</bold>){

idea/testData/slicer/inflow/qualifiedAssignmentsForSimpleRef.kt

@@ -5,12 +5,12 @@ class AClass(name1: String){
     fun uses(){
         name = "uses: bye"
         this.name = "uses: after this"
-        println("And now my name is '$<caret>name'")
+        val v = "And now my name is '$<caret>name'"
     }
 }
 
 fun main(args: Array<String>) {
     val a = AClass("main: hello")
     a.name = "main: bye"
-    println("Now my name is '${a.name}'")
+    val v = "Now my name is '${a.name}'"
 }

idea/testData/slicer/inflow/qualifiedAssignmentsForSimpleRef.leafGroups.txt

@@ -1,21 +1,22 @@
 13 val a = AClass(<bold>"main: hello"</bold>)
-8 	println("And now my name is '$<bold>name</bold>'")
+8 	val v = "And now my name is '$<bold>name</bold>'"
 4 		var <bold>name : String = name1</bold>
 4 			var name : String = <bold>name1</bold>
 3 				class AClass(<bold>name1: String</bold>){
 13 					val a = AClass(<bold>"main: hello"</bold>)
 
 14 a.name = <bold>"main: bye"</bold>
-8 	println("And now my name is '$<bold>name</bold>'")
+8 	val v = "And now my name is '$<bold>name</bold>'"
 4 		var <bold>name : String = name1</bold>
 14 			a.name = <bold>"main: bye"</bold>
 
 6 name = <bold>"uses: bye"</bold>
-8 	println("And now my name is '$<bold>name</bold>'")
+8 	val v = "And now my name is '$<bold>name</bold>'"
 4 		var <bold>name : String = name1</bold>
 6 			name = <bold>"uses: bye"</bold>
 
 7 this.name = <bold>"uses: after this"</bold>
-8 	println("And now my name is '$<bold>name</bold>'")
+8 	val v = "And now my name is '$<bold>name</bold>'"
 4 		var <bold>name : String = name1</bold>
 7 			this.name = <bold>"uses: after this"</bold>
+

idea/testData/slicer/inflow/qualifiedAssignmentsForSimpleRef.nullnessGroups.txt

@@ -1,3 +1,4 @@
 [NotNull Values]
-8 	println("And now my name is '$<bold>name</bold>'")
+8 	val v = "And now my name is '$<bold>name</bold>'"
-8 		println("And now my name is '$<bold>name</bold>'")
+8 		val v = "And now my name is '$<bold>name</bold>'"
+

idea/testData/slicer/inflow/qualifiedAssignmentsForSimpleRef.results.txt

@@ -1,4 +1,4 @@
-8 println("And now my name is '$<bold>name</bold>'")
+8 val v = "And now my name is '$<bold>name</bold>'"
 4 	var <bold>name : String = name1</bold>
 4 		var name : String = <bold>name1</bold>
 3 			class AClass(<bold>name1: String</bold>){

idea/testData/slicer/inflow/secondaryConstructorParameter.kt

@@ -1,4 +1,5 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 open class A {
     @JvmOverloads constructor(<caret>n: Int, s: String = "???")

idea/testData/slicer/inflow/secondaryConstructorParameter.leafGroups.txt

@@ -1,13 +1,13 @@
 2 D(int <bold>n</bold>, String s) {
-4 	@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+5 	@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
 3 		super(<bold>n</bold>, s);
 2 			D(int <bold>n</bold>, String s) {
 
-7 class B1: A(<bold>1</bold>)
+8 class B1: A(<bold>1</bold>)
-4 	@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+5 	@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
-7 		class B1: A(<bold>1</bold>)
+8 		class B1: A(<bold>1</bold>)
 
 11 new A(<bold>1</bold>);
-4 	@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+5 	@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
 11 		new A(<bold>1</bold>);
 

idea/testData/slicer/inflow/secondaryConstructorParameter.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-4 	@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+5 	@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
-4 		@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+5 		@JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
 

idea/testData/slicer/inflow/secondaryConstructorParameter.results.txt

@@ -1,17 +1,17 @@
-4 @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
+5 @JvmOverloads constructor(<bold>n: Int</bold>, s: String = "???")
 3 	super(<bold>n</bold>, s);
 2 		D(int <bold>n</bold>, String s) {
-7 	class B1: A(<bold>1</bold>)
 7 	super(<bold>n</bold>);
 6 		D(int <bold>n</bold>) {
-8 	class B2: A(<bold>1</bold>, "2")
+8 	class B1: A(<bold>1</bold>)
-9 	class B3: A(<bold>1</bold>, s = "2")
+9 	class B2: A(<bold>1</bold>, "2")
 11 	new A(<bold>1</bold>);
-10 	class B4: A(n = <bold>1</bold>, s = "2")
+10 	class B3: A(<bold>1</bold>, s = "2")
 12 	new A(<bold>1</bold>, "2");
-11 	class B5: A(s = "2", n = <bold>1</bold>)
+11 	class B4: A(n = <bold>1</bold>, s = "2")
-14 	A(<bold>1</bold>)
+12 	class B5: A(s = "2", n = <bold>1</bold>)
-15 	A(<bold>1</bold>, "2")
+15 	A(<bold>1</bold>)
-16 	A(<bold>1</bold>, s = "2")
+16 	A(<bold>1</bold>, "2")
-17 	A(n = <bold>1</bold>, s = "2")
+17 	A(<bold>1</bold>, s = "2")
-18 	A(s = "2", n = <bold>1</bold>)
+18 	A(n = <bold>1</bold>, s = "2")
+19 	A(s = "2", n = <bold>1</bold>)

idea/testData/slicer/inflow/secondaryConstructorParameterWithDefault.kt

@@ -1,4 +1,5 @@
 // FLOW: IN
+// WITH_RUNTIME
 
 open class A {
     @JvmOverloads constructor(n: Int, <caret>s: String = "???")

idea/testData/slicer/inflow/secondaryConstructorParameterWithDefault.leafGroups.txt

@@ -1,17 +1,17 @@
-8 class B2: A(1, <bold>"2"</bold>)
+9 class B2: A(1, <bold>"2"</bold>)
-4 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+5 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
-8 		class B2: A(1, <bold>"2"</bold>)
+9 		class B2: A(1, <bold>"2"</bold>)
 
 12 new A(1, <bold>"2"</bold>);
-4 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+5 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
 12 		new A(1, <bold>"2"</bold>);
 
 2 D(int n, String <bold>s</bold>) {
-4 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+5 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
 3 		super(n, <bold>s</bold>);
 2 			D(int n, String <bold>s</bold>) {
 
-4 @JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
+5 @JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
-4 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+5 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
-4 		@JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
+5 		@JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
 

idea/testData/slicer/inflow/secondaryConstructorParameterWithDefault.nullnessGroups.txt

@@ -1,4 +1,4 @@
 [NotNull Values]
-4 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+5 	@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
-4 		@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+5 		@JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
 

idea/testData/slicer/inflow/secondaryConstructorParameterWithDefault.results.txt

@@ -1,13 +1,13 @@
-4 @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
+5 @JvmOverloads constructor(n: Int, <bold>s: String = "???"</bold>)
 3 	super(n, <bold>s</bold>);
 2 		D(int n, String <bold>s</bold>) {
-4 	@JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
+5 	@JvmOverloads constructor(n: Int, s: String = <bold>"???"</bold>)
-8 	class B2: A(1, <bold>"2"</bold>)
+9 	class B2: A(1, <bold>"2"</bold>)
-9 	class B3: A(1, s = <bold>"2"</bold>)
+10 	class B3: A(1, s = <bold>"2"</bold>)
 12 	new A(1, <bold>"2"</bold>);
-10 	class B4: A(n = 1, s = <bold>"2"</bold>)
+11 	class B4: A(n = 1, s = <bold>"2"</bold>)
-11 	class B5: A(s = <bold>"2"</bold>, n = 1)
+12 	class B5: A(s = <bold>"2"</bold>, n = 1)
-15 	A(1, <bold>"2"</bold>)
+16 	A(1, <bold>"2"</bold>)
-16 	A(1, s = <bold>"2"</bold>)
+17 	A(1, s = <bold>"2"</bold>)
-17 	A(n = 1, s = <bold>"2"</bold>)
+18 	A(n = 1, s = <bold>"2"</bold>)
-18 	A(s = <bold>"2"</bold>, n = 1)
+19 	A(s = <bold>"2"</bold>, n = 1)

idea/testData/slicer/inflow/settersViaDelegateForQualifiedRef.kt

@@ -1,4 +1,6 @@
 // FLOW: IN
+// WITH_RUNTIME
+import kotlin.reflect.KProperty
 
 class Delegate {
     private var _value: String = ""

idea/testData/slicer/inflow/settersViaDelegateForQualifiedRef.leafGroups.txt

@@ -1,29 +1,30 @@
-4 private var _value: String = <bold>""</bold>
+6 private var _value: String = <bold>""</bold>
-25 	println("My name is '${a.<bold>name</bold>}'")
+27 	println("My name is '${a.<bold>name</bold>}'")
-12 		var <bold>name by Delegate()</bold>
+14 		var <bold>name by Delegate()</bold>
-5 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
+7 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
-5 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
+7 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
-4 					private var <bold>_value: String = ""</bold>
+6 					private var <bold>_value: String = ""</bold>
-4 						private var _value: String = <bold>""</bold>
+6 						private var _value: String = <bold>""</bold>
 
-18 name = <bold>"bye"</bold>
+20 name = <bold>"bye"</bold>
-25 	println("My name is '${a.<bold>name</bold>}'")
+27 	println("My name is '${a.<bold>name</bold>}'")
-12 		var <bold>name by Delegate()</bold>
+14 		var <bold>name by Delegate()</bold>
-5 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
+7 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
-5 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
+7 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
-4 					private var <bold>_value: String = ""</bold>
+6 					private var <bold>_value: String = ""</bold>
-7 						_value = <bold>value</bold>
+9 						_value = <bold>value</bold>
-6 							operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
+8 							operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
-18 								name = <bold>"bye"</bold>
+20 								name = <bold>"bye"</bold>
+
+26 val a = AClass(<bold>"hello"</bold>)
+27 	println("My name is '${a.<bold>name</bold>}'")
+14 		var <bold>name by Delegate()</bold>
+7 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
+7 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
+6 					private var <bold>_value: String = ""</bold>
+9 						_value = <bold>value</bold>
+8 							operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
+16 								name = <bold>name1</bold>
+13 									class AClass(<bold>name1: String</bold>){
+26 										val a = AClass(<bold>"hello"</bold>)
 
-24 val a = AClass(<bold>"hello"</bold>)
-25 	println("My name is '${a.<bold>name</bold>}'")
-12 		var <bold>name by Delegate()</bold>
-5 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
-5 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
-4 					private var <bold>_value: String = ""</bold>
-7 						_value = <bold>value</bold>
-6 							operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
-14 								name = <bold>name1</bold>
-11 									class AClass(<bold>name1: String</bold>){
-24 										val a = AClass(<bold>"hello"</bold>)

idea/testData/slicer/inflow/settersViaDelegateForQualifiedRef.nullnessGroups.txt

@@ -1,3 +1,4 @@
 [NotNull Values]
-25 	println("My name is '${a.<bold>name</bold>}'")
+27 	println("My name is '${a.<bold>name</bold>}'")
-25 		println("My name is '${a.<bold>name</bold>}'")
+27 		println("My name is '${a.<bold>name</bold>}'")
+

idea/testData/slicer/inflow/settersViaDelegateForQualifiedRef.results.txt

@@ -1,12 +1,12 @@
-25 println("My name is '${a.<bold>name</bold>}'")
+27 println("My name is '${a.<bold>name</bold>}'")
-12 	var <bold>name by Delegate()</bold>
+14 	var <bold>name by Delegate()</bold>
-5 		operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
+7 		operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
-5 			operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
+7 			operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
-4 				private var <bold>_value: String = ""</bold>
+6 				private var <bold>_value: String = ""</bold>
-4 					private var _value: String = <bold>""</bold>
+6 					private var _value: String = <bold>""</bold>
-7 					_value = <bold>value</bold>
+9 					_value = <bold>value</bold>
-6 						operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
+8 						operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
-14 							name = <bold>name1</bold>
+16 							name = <bold>name1</bold>
-11 								class AClass(<bold>name1: String</bold>){
+13 								class AClass(<bold>name1: String</bold>){
-24 									val a = AClass(<bold>"hello"</bold>)
+26 									val a = AClass(<bold>"hello"</bold>)
-18 							name = <bold>"bye"</bold>
+20 							name = <bold>"bye"</bold>

idea/testData/slicer/inflow/settersViaDelegateForSimpleRef.kt

@@ -1,4 +1,7 @@
 // FLOW: IN
+// RUNTIME_WITH_REFLECT
+
+import kotlin.reflect.KProperty
 
 class Delegate {
     private var _value: String = ""

idea/testData/slicer/inflow/settersViaDelegateForSimpleRef.leafGroups.txt

@@ -1,29 +1,30 @@
-4 private var _value: String = <bold>""</bold>
+7 private var _value: String = <bold>""</bold>
-19 	println("Now my name is '$<bold>name</bold>'")
+22 	println("Now my name is '$<bold>name</bold>'")
-12 		var <bold>name by Delegate()</bold>
+15 		var <bold>name by Delegate()</bold>
-5 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
+8 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
-5 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
+8 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
-4 					private var <bold>_value: String = ""</bold>
+7 					private var <bold>_value: String = ""</bold>
-4 						private var _value: String = <bold>""</bold>
+7 						private var _value: String = <bold>""</bold>
 
-18 name = <bold>"bye"</bold>
+21 name = <bold>"bye"</bold>
-19 	println("Now my name is '$<bold>name</bold>'")
+22 	println("Now my name is '$<bold>name</bold>'")
-12 		var <bold>name by Delegate()</bold>
+15 		var <bold>name by Delegate()</bold>
-5 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
+8 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
-5 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
+8 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
-4 					private var <bold>_value: String = ""</bold>
+7 					private var <bold>_value: String = ""</bold>
-7 						_value = <bold>value</bold>
+10 						_value = <bold>value</bold>
-6 							operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
+9 							operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
-18 								name = <bold>"bye"</bold>
+21 								name = <bold>"bye"</bold>
+
+27 val a = AClass(<bold>"hello"</bold>)
+22 	println("Now my name is '$<bold>name</bold>'")
+15 		var <bold>name by Delegate()</bold>
+8 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
+8 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
+7 					private var <bold>_value: String = ""</bold>
+10 						_value = <bold>value</bold>
+9 							operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
+17 								name = <bold>name1</bold>
+14 									class AClass(<bold>name1: String</bold>){
+27 										val a = AClass(<bold>"hello"</bold>)
 
-24 val a = AClass(<bold>"hello"</bold>)
-19 	println("Now my name is '$<bold>name</bold>'")
-12 		var <bold>name by Delegate()</bold>
-5 			operator fun <bold>getValue(thisRef: Any?, property: KProperty<*>) = _value</bold>
-5 				operator fun getValue(thisRef: Any?, property: KProperty<*>) = <bold>_value</bold>
-4 					private var <bold>_value: String = ""</bold>
-7 						_value = <bold>value</bold>
-6 							operator fun setValue(thisRef: Any?, property: KProperty<*>, <bold>value: String</bold>) {
-14 								name = <bold>name1</bold>
-11 									class AClass(<bold>name1: String</bold>){
-24 										val a = AClass(<bold>"hello"</bold>)