worker local todo: new methods to check if the local queue is activated
(should be used) and deactivating; checking that all methods are called
from the same thread
fixed a bug when inserting initialization into a context: a context was
marked unsaturated after the insertion which (incorrectly) could result
in a worker seeing a context as initialized and saturated
setting saturation of context is now synchronized to avoid inconsistency
and duplicates in nonSaturatedContexts queue of the SaturationState
Improved stability & correctness of ClassExpressionSaturationFactory.
Reduced the number of counters. Moved some counters to SaturationState.
No longer needs to use a listener to track modified contexts.
simplified rule application factories
fixed statistics (was not averaging times); introduced
AbstractStatistics for the common code