Some fixes and start of an iterative DPLL approach