let
to_var =
function
|
Var
(x)
->
x
|
_
->
assert
false