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