Set Rule is proved. The definition of msubst_eval_expr_norho is removeed.