FILE fqName:<root> fileName:/extensionPropertyGetterCall.kt
  PROPERTY name:okext visibility:public modality:FINAL flags:[val]
    FUN name:<get-okext> visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.String flags:[]
      correspondingProperty: PROPERTY name:okext visibility:public modality:FINAL flags:[val]
      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String flags:[]
      BLOCK_BODY
        RETURN type=kotlin.Nothing from='FUN name:<get-okext> visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.String flags:[]'
          CONST String type=kotlin.String value="OK"
  FUN name:test5 visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.String flags:[]
    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String flags:[]
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='FUN name:test5 visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.String flags:[]'
        CALL 'FUN name:<get-okext> visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.String flags:[]' type=kotlin.String origin=GET_PROPERTY
          $receiver: GET_VAR 'VALUE_PARAMETER name:<this> type:kotlin.String flags:[]' type=kotlin.String origin=null
