redCmd env (CAss x e c)         = liftM2 (CAss x) (redExp env e) (redCmd env c)
redCmd env (CAss x e c)         = liftM2 (CAss x) (redExp env e) (redCmd env c)
redCmd env (CAss x e c)         = liftM2 (CAss x) (redExp env e) (redCmd env c)