FILE: F.kt
    public? open class A {
    }
    public? final class B : R|A| {
    }
