Correcting RFVI trace
Created by: YoannPruvost
The trace log file created from the RVFI was flawed. This PR fix this issue. The log file created from RVFI is now consistent with the previous tracer. This PR is meant to replace the previous one with a properly signed commit