if_statement

if_statement ::= "IF" expression "THEN" 
      statement { ";" statement } 
      [ "ELSIF" expression "THEN" 
      statement { ";" statement } ] 
      [ "ELSE" 
      statement { ";" statement } ] 
      "END" 

This rule is called by

-> statement