let export_decl fmt d =
        try
          (* translate all the [decl] before printing because it might fail ! *)
          E.export_decl fmt (fdecl_of_decl d)
        with Wp_error.Error(model, msg) ->
          Wp_parameters.warning
            "Failed to export from model %s to WHY because %s. Ignored:@.%a"
            model msg F.pp_decl d