let
p_freshen pool v = p_fresh pool (
Fol
.
Var
.basename v) (
Fol
.
Var
.kind_of_var v)