Added the option for exchanging clauses from checker to generator. (Disabled by default)
Optimization on selecting assumptionsOR.
Minor changes in statistics.