let pp_tau = Fol_pretty.pp_tau