propagations propagate IndexedObjectSomeValueFrom; slightly optimized
the implementation of SubContext
Introduced a worker-local todo queue to buffer produced conclusions for
the currently processed context. This queue should not be concurrent and
thus can be more efficiently implemented.
Some tweaks to ClassExpressionSaturationFactory and SaturationState
logging in WorkerLocalTodo
updated statistic printing for new rules and conclusions; improved
formatting