Added pool of clauses to avoid reallocation of literals vector in each clause.