case_statement

case_statement ::= "CASE" expression "OF" 
      case { "|" case } 
      [ "ELSE" 
      statement { ";" statement } ] 
      "END" 

[rule list]
This rule is called by

-> statement