Вроде бы доделан класс DisjunctsActivityModule. Начата его интеграция в
Dpll.
Проведена часть рефакторинга, по замене слишком сложных типов данных на
их typedef-синонимы. Исправлена ошибка с итераторами (теперь их тип
const_reverse_iterator). Возможно, присутствует ошибка с направлением
перемещения итератора (у меня ++c_r_iter, возможно нужно --c_r_iter).