case *ast.SwitchStmt:
        anyReachable := false
        hasDefault := false
        for _, cas := range x.Body.List {
            cc := cas.(*ast.CaseClause)