Из Dpll в отдельный класс LevelControlModule
вынесен соотвествующий функционал (всё, что
относится к decision levels).
Также, почти сделан класс, отвечающий за хранение
индексов Unit Clause модулей (и, соотвественно,
дизъюнктов), с впривязкой к переменным, которые
они "видят" в данный момент.
Ну и так, по мелочи, рефакторинг и затыкание
дырок.
Остались 2 ошибки в классе HeadTailLiteral, в
методе getDeltaOfAciveVariables(...) (почему то
list::end() возвращает константный итератор, хотя
вроде бы не должен).