KtFile: propertyAccessors.kt
  PACKAGE_DIRECTIVE
    <empty list>
  PsiComment(EOL_COMMENT)('// LANGUAGE: +AllowContractsOnPropertyAccessors')
  PsiWhiteSpace('\n')
  IMPORT_LIST
    IMPORT_DIRECTIVE
      PsiElement(import)('import')
      PsiWhiteSpace(' ')
      DOT_QUALIFIED_EXPRESSION
        REFERENCE_EXPRESSION
          PsiElement(IDENTIFIER)('kotlin')
        PsiElement(DOT)('.')
        REFERENCE_EXPRESSION
          PsiElement(IDENTIFIER)('contracts')
      PsiElement(DOT)('.')
      PsiElement(MUL)('*')
  PsiWhiteSpace('\n\n')
  CLASS
    PsiElement(interface)('interface')
    PsiWhiteSpace(' ')
    PsiElement(IDENTIFIER)('A')
    PsiWhiteSpace(' ')
    CLASS_BODY
      PsiElement(LBRACE)('{')
      PsiWhiteSpace('\n    ')
      FUN
        PsiElement(fun)('fun')
        PsiWhiteSpace(' ')
        PsiElement(IDENTIFIER)('foo')
        VALUE_PARAMETER_LIST
          PsiElement(LPAR)('(')
          PsiElement(RPAR)(')')
      PsiWhiteSpace('\n')
      PsiElement(RBRACE)('}')
  PsiWhiteSpace('\n\n')
  PROPERTY
    MODIFIER_LIST
      ANNOTATION_ENTRY
        PsiElement(AT)('@')
        CONSTRUCTOR_CALLEE
          TYPE_REFERENCE
            USER_TYPE
              REFERENCE_EXPRESSION
                PsiElement(IDENTIFIER)('OptIn')
        VALUE_ARGUMENT_LIST
          PsiElement(LPAR)('(')
          VALUE_ARGUMENT
            CLASS_LITERAL_EXPRESSION
              REFERENCE_EXPRESSION
                PsiElement(IDENTIFIER)('ExperimentalContracts')
              PsiElement(COLONCOLON)('::')
              PsiElement(class)('class')
          PsiElement(RPAR)(')')
    PsiWhiteSpace('\n')
    PsiElement(var)('var')
    PsiWhiteSpace(' ')
    TYPE_REFERENCE
      NULLABLE_TYPE
        USER_TYPE
          REFERENCE_EXPRESSION
            PsiElement(IDENTIFIER)('Any')
        PsiElement(QUEST)('?')
    PsiElement(DOT)('.')
    PsiElement(IDENTIFIER)('isNotNull')
    PsiElement(COLON)(':')
    PsiWhiteSpace(' ')
    TYPE_REFERENCE
      USER_TYPE
        REFERENCE_EXPRESSION
          PsiElement(IDENTIFIER)('Boolean')
    PsiWhiteSpace('\n    ')
    PROPERTY_ACCESSOR
      PsiElement(get)('get')
      VALUE_PARAMETER_LIST
        PsiElement(LPAR)('(')
        PsiElement(RPAR)(')')
      PsiWhiteSpace(' ')
      BLOCK
        PsiElement(LBRACE)('{')
        PsiWhiteSpace('\n        ')
        CALL_EXPRESSION
          REFERENCE_EXPRESSION
            PsiElement(IDENTIFIER)('contract')
          PsiWhiteSpace(' ')
          LAMBDA_ARGUMENT
            LAMBDA_EXPRESSION
              FUNCTION_LITERAL
                PsiElement(LBRACE)('{')
                PsiWhiteSpace('\n            ')
                BLOCK
                  BINARY_EXPRESSION
                    CALL_EXPRESSION
                      REFERENCE_EXPRESSION
                        PsiElement(IDENTIFIER)('returns')
                      VALUE_ARGUMENT_LIST
                        PsiElement(LPAR)('(')
                        VALUE_ARGUMENT
                          BOOLEAN_CONSTANT
                            PsiElement(true)('true')
                        PsiElement(RPAR)(')')
                    PsiWhiteSpace(' ')
                    OPERATION_REFERENCE
                      PsiElement(IDENTIFIER)('implies')
                    PsiWhiteSpace(' ')
                    PARENTHESIZED
                      PsiElement(LPAR)('(')
                      BINARY_EXPRESSION
                        THIS_EXPRESSION
                          REFERENCE_EXPRESSION
                            PsiElement(this)('this')
                          LABEL_QUALIFIER
                            LABEL
                              PsiElement(AT)('@')
                              PsiElement(IDENTIFIER)('isNotNull')
                        PsiWhiteSpace(' ')
                        OPERATION_REFERENCE
                          PsiElement(EXCLEQ)('!=')
                        PsiWhiteSpace(' ')
                        NULL
                          PsiElement(null)('null')
                      PsiElement(RPAR)(')')
                PsiWhiteSpace('\n        ')
                PsiElement(RBRACE)('}')
        PsiWhiteSpace('\n        ')
        RETURN
          PsiElement(return)('return')
          PsiWhiteSpace(' ')
          BINARY_EXPRESSION
            THIS_EXPRESSION
              REFERENCE_EXPRESSION
                PsiElement(this)('this')
            PsiWhiteSpace(' ')
            OPERATION_REFERENCE
              PsiElement(EXCLEQ)('!=')
            PsiWhiteSpace(' ')
            NULL
              PsiElement(null)('null')
        PsiWhiteSpace('\n    ')
        PsiElement(RBRACE)('}')
    PsiWhiteSpace('\n    ')
    PROPERTY_ACCESSOR
      PsiElement(set)('set')
      VALUE_PARAMETER_LIST
        PsiElement(LPAR)('(')
        VALUE_PARAMETER
          PsiElement(IDENTIFIER)('value')
        PsiElement(RPAR)(')')
      PsiWhiteSpace(' ')
      BLOCK
        PsiElement(LBRACE)('{')
        PsiWhiteSpace('\n        ')
        CALL_EXPRESSION
          REFERENCE_EXPRESSION
            PsiElement(IDENTIFIER)('contract')
          PsiWhiteSpace(' ')
          LAMBDA_ARGUMENT
            LAMBDA_EXPRESSION
              FUNCTION_LITERAL
                PsiElement(LBRACE)('{')
                PsiWhiteSpace('\n            ')
                BLOCK
                  BINARY_EXPRESSION
                    CALL_EXPRESSION
                      REFERENCE_EXPRESSION
                        PsiElement(IDENTIFIER)('returns')
                      VALUE_ARGUMENT_LIST
                        PsiElement(LPAR)('(')
                        PsiElement(RPAR)(')')
                    PsiWhiteSpace(' ')
                    OPERATION_REFERENCE
                      PsiElement(IDENTIFIER)('implies')
                    PsiWhiteSpace(' ')
                    PARENTHESIZED
                      PsiElement(LPAR)('(')
                      BINARY_EXPRESSION
                        THIS_EXPRESSION
                          REFERENCE_EXPRESSION
                            PsiElement(this)('this')
                          LABEL_QUALIFIER
                            LABEL
                              PsiElement(AT)('@')
                              PsiElement(IDENTIFIER)('isNotNull')
                        PsiWhiteSpace(' ')
                        OPERATION_REFERENCE
                          PsiElement(EXCLEQ)('!=')
                        PsiWhiteSpace(' ')
                        NULL
                          PsiElement(null)('null')
                      PsiElement(RPAR)(')')
                PsiWhiteSpace('\n        ')
                PsiElement(RBRACE)('}')
        PsiWhiteSpace('\n        ')
        CALL_EXPRESSION
          REFERENCE_EXPRESSION
            PsiElement(IDENTIFIER)('require')
          VALUE_ARGUMENT_LIST
            PsiElement(LPAR)('(')
            VALUE_ARGUMENT
              BINARY_EXPRESSION
                THIS_EXPRESSION
                  REFERENCE_EXPRESSION
                    PsiElement(this)('this')
                PsiWhiteSpace(' ')
                OPERATION_REFERENCE
                  PsiElement(EXCLEQ)('!=')
                PsiWhiteSpace(' ')
                NULL
                  PsiElement(null)('null')
            PsiElement(RPAR)(')')
        PsiWhiteSpace('\n    ')
        PsiElement(RBRACE)('}')