Fix bug in state `case` switcher

Multiple matches in `when` clauses need to be delimited with commas, not `||`.