Add a test case for too-complex
in match case, for discussion
#9667
+17
β0
too-complex
in match case, for discussion
#9667