KtFunctionSymbol:
  annotationsList: [
    kotlin/OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
      psi: KtAnnotationEntry
  ]
  callableIdIfNonLocal: /twoContracts
  contextReceivers: []
  contractEffects: [
    KtContractConditionalContractEffectDeclaration:
      effect:
        KtContractReturnsSpecificValueEffectDeclaration:
          value:
            KtContractConstantValue:
              constantType: TRUE
      condition:
        KtContractBinaryLogicExpression:
          left:
            KtContractIsNullPredicateExpression:
              argument:
                KtContractParameterValue:
                  parameterSymbol:
                    KtValueParameterSymbol:
                      annotationsList: []
                      callableIdIfNonLocal: null
                      contextReceivers: []
                      generatedPrimaryConstructorProperty: null
                      hasDefaultValue: false
                      isCrossinline: false
                      isExtension: false
                      isImplicitLambdaParameter: false
                      isNoinline: false
                      isVararg: false
                      name: foo
                      origin: SOURCE
                      receiverParameter: null
                      returnType: KtUsualClassType:
                        annotationsList: []
                        ownTypeArguments: []
                        type: kotlin/Any?
                      symbolKind: LOCAL
                      typeParameters: []
                      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
                      getContainingJvmClassName: TwoContractsKt
                      getContainingModule: KtSourceModule "Sources of main"
                      deprecationStatus: null
              isNegated: false
          right:
            KtContractIsNullPredicateExpression:
              argument:
                KtContractParameterValue:
                  parameterSymbol:
                    KtValueParameterSymbol:
                      annotationsList: []
                      callableIdIfNonLocal: null
                      contextReceivers: []
                      generatedPrimaryConstructorProperty: null
                      hasDefaultValue: false
                      isCrossinline: false
                      isExtension: false
                      isImplicitLambdaParameter: false
                      isNoinline: false
                      isVararg: false
                      name: bar
                      origin: SOURCE
                      receiverParameter: null
                      returnType: KtUsualClassType:
                        annotationsList: []
                        ownTypeArguments: []
                        type: kotlin/Any?
                      symbolKind: LOCAL
                      typeParameters: []
                      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
                      getContainingJvmClassName: TwoContractsKt
                      getContainingModule: KtSourceModule "Sources of main"
                      deprecationStatus: null
              isNegated: true
          operation: AND
    KtContractCallsInPlaceContractEffectDeclaration:
      valueParameterReference:
        KtContractParameterValue:
          parameterSymbol:
            KtValueParameterSymbol:
              annotationsList: []
              callableIdIfNonLocal: null
              contextReceivers: []
              generatedPrimaryConstructorProperty: null
              hasDefaultValue: false
              isCrossinline: false
              isExtension: false
              isImplicitLambdaParameter: false
              isNoinline: false
              isVararg: false
              name: block
              origin: SOURCE
              receiverParameter: null
              returnType: KtFunctionalType:
                annotationsList: []
                ownTypeArguments: [
                  KtUsualClassType:
                    annotationsList: []
                    ownTypeArguments: []
                    type: kotlin/Unit
                ]
                type: kotlin/Function0<kotlin/Unit>
              symbolKind: LOCAL
              typeParameters: []
              getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
              getContainingJvmClassName: TwoContractsKt
              getContainingModule: KtSourceModule "Sources of main"
              deprecationStatus: null
      occurrencesRange: EXACTLY_ONCE
  ]
  hasStableParameterNames: true
  isActual: false
  isBuiltinFunctionInvoke: false
  isExpect: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  modality: FINAL
  name: twoContracts
  origin: SOURCE
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Boolean
  symbolKind: TOP_LEVEL
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: foo
      origin: SOURCE
      receiverParameter: null
      returnType: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Any?
      symbolKind: LOCAL
      typeParameters: []
      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
      getContainingJvmClassName: TwoContractsKt
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: bar
      origin: SOURCE
      receiverParameter: null
      returnType: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Any?
      symbolKind: LOCAL
      typeParameters: []
      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
      getContainingJvmClassName: TwoContractsKt
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: block
      origin: SOURCE
      receiverParameter: null
      returnType: KtFunctionalType:
        annotationsList: []
        ownTypeArguments: [
          KtUsualClassType:
            annotationsList: []
            ownTypeArguments: []
            type: kotlin/Unit
        ]
        type: kotlin/Function0<kotlin/Unit>
      symbolKind: LOCAL
      typeParameters: []
      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
      getContainingJvmClassName: TwoContractsKt
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
  ]
  visibility: Public
  getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
  getContainingJvmClassName: TwoContractsKt
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null