let pp_axiomdef_descr fmt a =
      Format.fprintf fmt "Axiom %s%a@\n" a.a_name
        Axiomatics.pp_labels a.a_labels ;
      Format.fprintf fmt "Locations:" ;
      pp_closures fmt a.a_implicit a.a_closure