Satelite data structures are not created if the number of clauses is greater than one million.