Начат рефакторинг, навправленный на уменьшение связанности классов,
взаимодействующих с Cnf и Disjunct (т.е. почти всех).