Checking the correctness of the translation (chapter 8)