[don't use unfinished SStrictness analyzer
John Meacham <john@repetae.net>**20060708010837] hunk ./Main.hs 25
+--import E.SStrictness as SStrict(analyzeProgram)
hunk ./Main.hs 330
+        putStrLn "After strictness"
+        printProgram mprog
+        --SStrict.analyzeProgram mprog
hunk ./Main.hs 334
-        --mprog <- simplifyProgram sopt "SuperSimplify" False mprog
-        --mprog <- barendregtProg mprog
+        mprog <- simplifyProgram sopt "Simplify After Strictness" False mprog
+        mprog <- barendregtProg mprog