Odpravljen bug v cnf obliki In,Ali, ter ponavljanje literalov/stavkov.