<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>