Added a strategy for the simplification of learned clauses.