Clause's "strengthened" and "changed" are not being used
A more refined hard upper limit on the number of learnt long clauses