FILE: contractDescription.kt
    public? final? fun test_1(): R|kotlin/Unit|
        [Contract description] <
            contract#(<L> = contract@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
                callsInPlace#()
            }
            )
        >
     {
        [StubStatement]
        test_1#()
    }
    public? final? fun test_2(): R|kotlin/Unit|
        [Contract description] <
            kotlin#.contracts#.contract#(<L> = contract@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
                callsInPlace#()
                callsInPlace#()
            }
            )
        >
     {
        [StubStatement]
        test_2#()
    }
    public? final? var test_3: Int = IntegerLiteral(1)
        public? get(): Int
            [Contract description] <
                contract#(<L> = contract@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
                    callsInPlace#()
                }
                )
            >
         {
            [StubStatement]
            ^ IntegerLiteral(1)
        }
        public? set(value: Int): R|kotlin/Unit|
            [Contract description] <
                kotlin#.contracts#.contract#(<L> = contract@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
                    callsInPlace#()
                    callsInPlace#()
                }
                )
            >
         {
            [StubStatement]
        }
    public? final? fun test_4(): R|kotlin/Unit|
        [Contract description] <
            contract#()
        >
     {
        [StubStatement]
        test_4#()
    }
    public? final? fun test_5(): R|kotlin/Unit| {
        test_5#()
        contract#()
    }
    public? final? fun test_6(): R|kotlin/Unit| {
        aaa#.bbb#.ccc#.contract#(<L> = contract@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
            ^@contract Unit
        }
        )
        test_6#()
    }
    public? final? fun test_7(): R|kotlin/Unit| {
        contracts#.contract#(<L> = contract@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
            ^@contract Unit
        }
        )
        test_7#()
    }
    public? final? fun test_8(): R|kotlin/Unit| {
        aaa#.kotlin#.contracts#.contract#(<L> = contract@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
            ^@contract Unit
        }
        )
        test_8#()
    }
