Проведена подготовка к очищению кода от cnf->includingDisjunctsIndex