Fixed empty CNF or bug