case : case exp : stm_list
A case represents the actions for the given value exp.
The exp must be constant and free of side-effects.
