Preliminary cleanup, for search start point.

The next commits will re-order the clauses so that a more
efficient search can be performed. To do this, these cannot be const.
Reorder clauses to find best start point.

Loop over all the clauses, finding the one with the thinnest
incoming set, and start the search there.  This should help
performance a lot.