let
freshen _pool x =
Fol
.
Var
.fresh_var x