Небольшие правки названий в древе Assert.
Проведена часть запланированного рефакторинга класса DimacsCnfReader
(бывшего DimacsReader)