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