Class SimpleIncrementalSatSolver