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