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