prelude: Use increasing priorities for tasks.
prelude: Return tasks that have become free through doneJob().