See #905 (comment)

Filter added by #1012 in version 0.8.6 doesn't take into account

• methods with parameters
• methods consisting of super call followed by code other than return
• methods consisting of super call of method with different name

In the following example

interface I {
  fun m(p: Int) = Unit
}

class C : I {
}

method m generated by Kotlin compiler in C should be filtered out.

In the following example

interface I {
  fun m() = Unit
}

class C : I {
  override fun m() {
    super.m()
    println()
  }
}

method m in C should not be filtered out.

In the following example

interface I {
  fun m1() = Unit
  fun m2() = Unit
}

class C : I {
  override fun m1() {
    super.m2()
  }
}

method m1 in C should not be filtered out.