The resolver used to fail when a case label element is parenthesized. The patch fixes this problem by stripping parens from a case element if necessary GitOrigin-RevId: de2113905ccabcc7c675c94c320cb2b26fccf487