let fresh _pool name kind = match kind with
| Formula.Model tau ->
(* Problem with the variables created though here, because we don't have
* there type : unable to build the [format] later on. *)
Fol.Var.fresh_named_var name tau
| Formula.Acsl (tau,t) ->
Fol.Var.fresh_typed_var name t tau