BEFORE MODIFICATION:
public final [ResolvedTo(BODY_RESOLVE)] var <no name provided>: R|kotlin/Int| = Int(1)
    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
    public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| {
        R|/doSmth<Inapplicable(INAPPLICABLE): /doSmth>#|(R|<local>/value|)
    }

AFTER MODIFICATION:
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] var <no name provided>: R|kotlin/Int| = Int(1)
    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
    public [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }
