let subst_data_in_pred do_data p =
  Fol.change_data_in_pred (do_data_rec do_data) p