let rec fresh_params ys sigma = function
  | [] -> List.rev ys , sigma
  | x::xs ->
      let y,sigma = fresh sigma x in
      fresh_params (y::ys) sigma xs