No braces. Our language requires if (x > 5) { x = 99; }. executeStatement looks for { after the condition -- no braces, no party.

Deliberate: it keeps the grammar simple, makes debugging easier (you can set a breakpoint inside the {}), and makes the compiler simpler. When we emit WAT later, we just emit if/end blocks. No ambiguity about what belongs to which branch.