Renamed pass to InstrRecordReplay.