let pp_axiomdef_title fmt a =
      Format.fprintf fmt "User defined axiom %s" a.a_name