Rework DPLL algorithm.
Fix free of solver's tree.