let change_lval_exp values state x e =
      let s = find_loc_or_status values state e in
      change_lval_status values state x s