let
freshen pool v = fresh pool (
Fol
.
Var
.basename v) (
Fol
.
Var
.kind_of_var v)