let rec pp_term fmt t = Fol_pretty.fpretty_term pp_term pp_data fmt t