Demonstration of the Model Replay Debugger - Part 1/2