result

result 
      ::= result_exp | "null" 

This rule is called by

-> else_clause
-> searched_when_clause
-> simple_when_clause