Making sure everything is OK if max clause limit is INF

We limit ourselves to 1 billion clauses in that case.