let print_equality_axioms config = config.print_equality_axioms