let change_lval_status values state x status =
let e, subst_occured = Subst.lval ~trans:true x state.subst in
match find_loc_or_status values state e, subst_occured with
| Location l, _ -> change_loc_status values state l status
| Status _, true -> state
| Status _, false -> assert false