Implemented partial checks. Included also exchange of clauses after partial checks.
Changed policy for satelite simplifications (ignored if the number of variables is greater or equal than 250k).