Add impossible test; Comment some methods of Solver