Rewrite SwitchAtLeastThreeCasesCheck using Strongly Typed AST