Scheduling now works with readwrite/readwrite1, that is, an example without control flow. Made it work by letting call threads an instrumentation function done() instead of yield() when finished, and keeping track of which threads are done. If given schedule is finished, arbitrary thread is waken up, and this thread gets contol until it finishes etc.