let get_var_and_mu m lval exp =
    let v, _, f_mu = mk_mu m lval in
      v, f_mu (F.var v) exp