Fix bugs in the Chapter 2 Internal Determinism proof.