case_spec

case_spec 
      ::= 
      simple_case 
      | searched_case

[rule list] 
This rule is called by

-> case_exp