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