Added minimization of learned clauses.
Added statistics for this feature.
Optimization on minimization of learned clause.