Renamed two datautils.py functions and added comments to dpll functions