BEFORE MODIFICATION:
public final [ResolvedTo(BODY_RESOLVE)] var <no name provided>: R|kotlin/Int|
    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] get(): R|kotlin/Int|
        [R|Contract description]
         <
        >
     {
         {
            R|kotlin/contracts/contract|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<kotlin/contracts/ContractBuilder, kotlin/Unit>] contract@fun [ResolvedTo(BODY_RESOLVE)] R|kotlin/contracts/ContractBuilder|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=UNKNOWN>  {
                <Unresolved name: req>#
            }
            )
        }

        local final [ResolvedTo(BODY_RESOLVE)] fun doSmth([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/String|): R|kotlin/Int| {
            ^doSmth Int(4)
        }

        ^ R|<local>/doSmth|(String(str))
    }
    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| {
        ^ Q|kotlin/Unit|
    }

AFTER MODIFICATION:
public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var <no name provided>: R|kotlin/Int|
    public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=A] get(): R|kotlin/Int|
        [L|Contract description] { LAZY_BLOCK }
    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| {
        ^ Q|kotlin/Unit|
    }
