Clauses do not acutally have to be reordered

There is nothing special about the first clause. The
get_next_untried_clause() method does the heavy joining.
iAdd a note for future work.