Minor refactoring; fix processing of a disjoint union axiom
Fix problems with reasoning after an error has happened
Minor refactoring in locality checker
Factor out some code
Implement smarter absorption choices for hidden GCIs; switch that off
for now
factor out full saving of NN-queue into a rare stack
FaCT++ 1.6.3