let
is_slack =
function
Var
(x)
->
Var
.is_slack x
|
_
->
false