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)