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