code cleanup, mini hack for accessing protected members of Solver in MiniSAT