prove cheat in replCorrect about setup program terminating