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