BEFORE MODIFICATION:
public final [ResolvedTo(BODY_RESOLVE)] [IsReferredViaField=true] val x: R|kotlin/Int|
    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
        [ResolvedTo(BODY_RESOLVE)] lval value: R|kotlin/Int| = F|/x|
        ^ R|<local>/value|
    }

AFTER MODIFICATION:
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] [IsReferredViaField=true] val x: R|kotlin/Int|
    public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int| { LAZY_BLOCK }
