Preimenovan dpll_brezRekurzije v dpll.