Popravili dpll.

Trenutno preverja stavke dolžine 0 (vrne ni rešitve) in 1 (nastavi
ustrezne spremenljivke in poenostavi formulo).