let
mk_slack k alpha d =
Var
(
Var
.mk_slack k alpha d)