[perform substitution of existing variables initially
John Meacham <john@repetae.net>**20060322044341] hunk ./Main.hs 269
-            let sopt = mempty { SS.so_rules = allRules, SS.so_exports = map tvrIdent $ progEntryPoints mprog, SS.so_dataTable = fullDataTable }
+            let sopt = mempty {
+                SS.so_boundVars = Map.fromList [ (tvrIdent v,e) | (v,e) <- Map.elems (hoEs ho)],
+                SS.so_rules = allRules,
+                SS.so_exports = map tvrIdent $ progEntryPoints mprog,
+                SS.so_dataTable = fullDataTable
+                }