change a switch rule: (_:K S:K)<:SwitchGroup => S