searched_case

searched_case 
      ::= 
      "case" 
      searched_when_clause { searched_when_clause } 
      [ else_clause ] 
      "end" 

This rule is called by

-> case_spec