map the qf-clauses to a set of clauses that is
supposed to be turned
into tasks, and a set that is supposed to be kept
Re-sort an object with a new TermOrder.
Re-sort an object with a new TermOrder. It is guaranteed that
the result isSortedBy(order)