redExp env (ECase e alts)       = do e <- redExp env e
                                     redCase env e alts
redExp env (ECase e alts)       = do e <- redExp env e
                                     redCase env e alts
redExp env (ECase e alts)       = do e <- redExp env e
                                     redCase env e alts