Olepšano ogrodje dpll-ja, dopisan tudi to-do list.