let pp_axiom_info fmt (id, (_name, _labels, p)) = Format.fprintf fmt "(@[%a:@ %a@])" pp_id_name id !Ast_printer.d_predicate_named p