Fix condition when single value constraint is satisfied
Add method removeClausesWithLit to class Solver
Remove method forceSimplify from class Solver
Fix removal of false literals from single value constraints