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