Moved instruction tracing logging to its own file and now record thread ID of every instrumented instruction.
Forgot an fclose() and changed a printf statement