new transitivity axioms should also abandon incremental updates
a javadoc tweak
removing the logged error which should be an error at all
dynamic incremental mode switching, getting rid of some not needed axiom
loaders, some refactoring. some tests fail