Yup, `x` gets passed into `addVariable` from the transform of the lvalue.