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.
fixed bug in latest update
Fixed JFact bug 9 float value restrictions not understood.

Checking if an inerval for an ordered datatype was empty was returning
wrong results for intervals without a minimum value.