let freshen _pool x = Fol.Var.fresh_var x