Module Mt_thread.OrderedThreadsSource

Create a table mapping each thread that creates a thread to the threads it creates

Map each existing threads to the id of the threads it recursively creates

Fold a function f with accumulator acc over program threads following the partial order of thread creations.

Iter a function f over program threads following the partial order of thread creations. The 'a argument passed to the function is the value returned by the function on the creating thread