Update dpll_draft.py

code cleanup, 
TODO: refactor, make more pythonic - use namespaces