[perform simplification cleanup after floating outward
John Meacham <john@repetae.net>**20060420031809] hunk ./Main.hs 303
+        -- perform another supersimplify in order to substitute the once used
+        -- variables back in and replace the variable of case of variables with
+        -- the default binding of the case statement.
+
+        mprog <- simplifyProgram sopt "Simplify FloatOutCleanup" (dump FD.CoreMini) mprog