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