let pp_param pp_tau fmt x =
  Format.fprintf fmt "%a:%a" pp_var x pp_tau (Fol.Var.var_type x)