Update tool to also verify violation with Replay