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}