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