Sped up clause_resolve().

The clause is smaller than the splitset in most cases, so the loop
should iterate over the former instead of the latter.