let pp_tau =  Fol_decl.Tau.pp_tau