skeleton for CDCL, misc change for structure of TestSolver