BEFORE MODIFICATION:
public final [ResolvedTo(BODY_RESOLVE)] [IsReferredViaField=true] var x: R|kotlin/Int| = Int(1)
    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] get(): R|kotlin/Int|
    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| {
        [ResolvedTo(BODY_RESOLVE)] lval i: R|kotlin/Int| = R|<local>/value|
        this@R|/A|.F|/A.x| = R|<local>/value|
    }

AFTER MODIFICATION:
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] [IsReferredViaField=true] var x: R|kotlin/Int| = Int(1)
    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] get(): R|kotlin/Int|
    public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }
