FILE fqName:<root> fileName:/extensionPropertyGetterCall.kt
  FUN name:test5 visibility:public modality:FINAL returnType:kotlin.String
    VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:0 type:kotlin.String
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='public final fun test5 (<this>: kotlin.String): kotlin.String declared in <root>'
        CALL 'public final fun <get-okext> (<this>: kotlin.String): kotlin.String declared in <root>' type=kotlin.String origin=GET_PROPERTY
          ARG <this>: GET_VAR '<this>: kotlin.String declared in <root>.test5' type=kotlin.String origin=IMPLICIT_ARGUMENT
  PROPERTY name:okext visibility:public modality:FINAL [val]
    FUN name:<get-okext> visibility:public modality:FINAL returnType:kotlin.String
      VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:0 type:kotlin.String
      correspondingProperty: PROPERTY name:okext visibility:public modality:FINAL [val]
      BLOCK_BODY
        RETURN type=kotlin.Nothing from='public final fun <get-okext> (<this>: kotlin.String): kotlin.String declared in <root>'
          CONST String type=kotlin.String value="OK"
