KaReceiverParameterSymbol:
  anchorPsi: KtFunctionLiteral
  annotations: []
  callableId: null
  contextParameters: []
  contextReceivers: []
  isActual: false
  isCompanion: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isVal: true
  location: LOCAL
  modality: FINAL
  name: <receiver>
  origin: SOURCE
  owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
  psi: KtFunctionLiteral
  realPsi: KtFunctionLiteral
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/contracts/ContractBuilder
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(baseConditions.kt)
  getContainingJvmClassName: null
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: null

KaReceiverParameterSymbol:
  anchorPsi: KtFunctionLiteral
  annotations: []
  callableId: null
  contextParameters: []
  contextReceivers: []
  isActual: false
  isCompanion: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isVal: true
  location: LOCAL
  modality: FINAL
  name: <receiver>
  origin: SOURCE
  owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
  psi: KtFunctionLiteral
  realPsi: KtFunctionLiteral
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/contracts/ContractBuilder
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(baseConditions.kt)
  getContainingJvmClassName: null
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: null

KaReceiverParameterSymbol:
  anchorPsi: KtFunctionLiteral
  annotations: []
  callableId: null
  contextParameters: []
  contextReceivers: []
  isActual: false
  isCompanion: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isVal: true
  location: LOCAL
  modality: FINAL
  name: <receiver>
  origin: SOURCE
  owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
  psi: KtFunctionLiteral
  realPsi: KtFunctionLiteral
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/contracts/ContractBuilder
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(baseConditions.kt)
  getContainingJvmClassName: null
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: null

KaReceiverParameterSymbol:
  anchorPsi: KtFunctionLiteral
  annotations: []
  callableId: null
  contextParameters: []
  contextReceivers: []
  isActual: false
  isCompanion: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isVal: true
  location: LOCAL
  modality: FINAL
  name: <receiver>
  origin: SOURCE
  owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
  psi: KtFunctionLiteral
  realPsi: KtFunctionLiteral
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/contracts/ContractBuilder
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(baseConditions.kt)
  getContainingJvmClassName: null
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: null
