moved the tracing rule app factory with cyclic inference blocking, not
tested yet
moved the recursive trace unwinder and the on-demand trace reader
(a.k.a. the oracle)
moved the relevant methods of the reasoner state (e.g.
explainSubsumption), now they can be tested
basic tracing tests moved and adapted
a package for various inference readers
adding test ontologies for tracing tests
started switching from conclusions to inferences, unfortunately that
requires changes in pretty much all rule implementations.