Ensure semantic checking can handle large numbers of clauses