#pattern-matching "Nested cases" is fixed