Add some automated checks to keep track of the axioms used by the library.
Add some automated checks to keep track of the axioms used by the library.