dpll sedaj dela tudi z cistimi spremenljivkami