BEFORE MODIFICATION:
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = R|/doSmth|(String(str))
    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|

AFTER MODIFICATION:
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] val x: R|kotlin/Int| = LAZY_EXPRESSION
    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
