bug 9 test
Allow absorbed axioms to be a copy of an unprocessed one
Only the axioms equivalent to its ancestor could lead to cycles
Minor cleanup in absorption code: leave the name replacement to the
absorption itself
Clean up absorption code
Increase priority for a simple forall absorption rule
update to FaCT++ Release 1.6.3 (this time for sure)
Fixed translation bugs.
upgrades from v4
fixed bug in latest update