Analyze Data Flow to Here: Java super-methods supported

idea/testData/slicer/inflow/overrideFun.java

@@ -0,0 +1,3 @@
+interface JavaInterface {
+    void foo(int p);
+}

idea/testData/slicer/inflow/overrideFun.kt

@@ -4,7 +4,7 @@ interface I {
     fun foo(p: Int)
 }
 
-class C : I {
+class C : I, JavaInterface {
     override fun foo(p: Int) {
         println(<caret>p)
     }
@@ -17,3 +17,7 @@ class C : I {
 fun f(i: I) {
     i.foo(2)
 }
+
+fun g(i: JavaInterface) {
+    i.foo(3)
+}

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

@@ -1,3 +1,8 @@
+2 void <bold>foo(int p);</bold>
+9 	println(<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>)
 8 		override fun foo(<bold>p: Int</bold>) {

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

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