Ok I guess I see: the when we transform the `lvalue` we hoist the `x` as a side effect.