refactor to cafesat
improve some tests
ClauseList is not used anymore