Delujoc nov dpll2, povpravka primerov - uporaba dpll2 namesto dpll