-Remember to use the modified version of Eiffel Compiler to compile this testcase!
-Make sure that the CFLAGS are set correctly (-DCAPTURE_REPLAY)

- The testcases for TUPLEs and copy were failing at the time of writing this text. This is because, object IDs were not implemented for TUPLEs and copy support is still missing.