stop if > 10 million clauses