dodal funkcije ki sestavijo konfliktne stavke

Samo dodajanje stavkov še ni implementirano. Za vsak literal, nastavljen
na True, si zapomnimo kateri neresnični literali so privedli do tega
sklepa.  S pomočjo tega lahko ko pridemo do protislovja ugotovimo katere
odločitve so do njega privedle.