let get_var_and_mu m lval exp =
      debug3 "[get_var_and_mu] %a <- %a" pp_loc lval F.pp_term exp;
      let v, _, f_mu = mk_mu m lval in
      get_var m v, f_mu (var_data m v) (Some exp)