Introduced a worker-local todo queue to buffer produced conclusions for
the currently processed context. This queue should not be concurrent and
thus can be more efficiently implemented.