Fixed bug in Formula.dpll