Удалёно поле includingDisjunctsIndex из класса Cnf