<stmt> => <unmatched>
=> if<logic_expr> then <stmt>
=> if<logic_expr> then <matched>
=> if<logic_expr> then if<logic_expr> then <matched> else <matched>
=> if<logic_expr> then if<logic_expr> then <stmt> else <stmt>