Test ClausePicker
Test resolution with many tautologies
Remove duplicated clauses before resolution