Pohitritev: namesto racunanja CNF se sedaj naredi kopija.