Added ReexecutionTests.