let add_axiom _id name labels pn =
match
Wp_error.protect_translation3 L.add_axiom name labels pn
with
| Result () -> ()
| Warning(source,reason) ->
Datalib.Collector.add_warning ~source ~reason
"Ignored user-defined axiom '%s'" name