bug fixes: WorkerLocalTodo sets active root to null if no context is
currently processed; improved safety of CassExpressionSaturationFactory;
RuleApplicationAdditionPruningFactory uses local writer as the main one
when initializing context is marked as non-saturated *before* it is
initialized; flag isInitialized is now volatile because it is checked
from multiple threads