Migrate AtLeastThreeCasesInSwitch to Roslyn