- Stopping to learn the same rules much too many times (they are still derived, but no longer added to the Rete).
- Minor output improvements.