Naive skeleton for dpll