Corrected DPLL

- corrected DPLL: now it looks for literals after replace and simplify
again
-WTF - bool_formulas not found again???
Improved DPLL

- added logic for assigning values to pure variables in formula