Chapter 4: Syntax Analysis
The two parse trees corresponding to the string
if a then if b then s1 else s2
.