let
mk_rename x k d =
Var
(
Var
.mk_rename x k d)