FILE: propertyAccessorsContractDescription.kt
    public? final? class MyClass : R|kotlin/Any| {
        public? constructor(): R|MyClass| {
            LAZY_super<R|kotlin/Any|>
        }

        public? final? var myInt: Int = LAZY_EXPRESSION
            public? get(): Int
                [Contract description] <
                    LAZY_EXPRESSION
                >
             { LAZY_BLOCK }
            public? set(value: Int): R|kotlin/Unit| { LAZY_BLOCK }

    }
    public? final? class AnotherClass : R|kotlin/Any| {
        public? constructor(multiplier: Int): R|AnotherClass| {
            LAZY_super<R|kotlin/Any|>
        }

        public? final? var anotherInt: Int = LAZY_EXPRESSION
            public? get(): Int
                [Contract description] <
                    LAZY_EXPRESSION
                >
             { LAZY_BLOCK }
            public? set(value: Int): R|kotlin/Unit|
                [Contract description] <
                    LAZY_EXPRESSION
                >
             { LAZY_BLOCK }

    }
    public? final? class SomeClass : R|kotlin/Any| {
        public? constructor(multiplier: Int?): R|SomeClass| {
            LAZY_super<R|kotlin/Any|>
        }

        public? final? var someInt: Int = LAZY_EXPRESSION
            public? get(): Int
                [Contract description] <
                    LAZY_EXPRESSION
                >
             { LAZY_BLOCK }
            public? set(value: Int): R|kotlin/Unit|
                [Contract description] <
                    LAZY_EXPRESSION
                >
             { LAZY_BLOCK }

    }
