let fdecl_of_decl = Fol.translate_pred_in_decl fpred_of_pred