if expr1 then if expr2 then s1 else s2
Statement := if Expression then Statement else Statement | if Expression then Statement | Other
Statement :=
IfThenElseOrOther |
IfThen
IfThenElseOrOther :=
if Expression then IfThenElseOrOther else IfThenElseOrOther |
Other
IfThen :=
if Expression then Statement |
if Expression then IfThenElseOrOther else IfThen
if expr1 then {if expr2 then s1 else s2}