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

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

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

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

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

        public? final? var someInt: Int = LAZY_EXPRESSION
            public? get(): Int
                [Contract description] <
                    returnsNotNull#()
                >
             { LAZY_BLOCK }
            public? set(value: Int): R|kotlin/Unit|
                [Contract description] <
                    returns#().implies#(!=(value#, Null(null)))
                >
             { LAZY_BLOCK }

    }
