BEDICHECK ROBERT

Consistency checking of source instruction to execute previously translated instructions between copy made upon occurrence of write operation to memory and current version