Implemented simplifications as in Minisat2.