consider THREADID in instrumentation with help of Igor (http://
the-reverse-execution-of-traces)