simple_case

simple_case 
      ::= 
      "case" case_operand 
      simple_when_clause { simple_when_clause } 
      [ else_clause ] 
      "end" 

This rule is called by

-> case_spec