[impl of mkInitialHypo
martin.hofmann@uni-bamberg.de**20081126161612] hunk ./src/Data/IgorData.hs 25
-initIgor iod n =
-    -- FIXME:
-    -- get all Rules with name 'n'
-    -- antiunify them and
-    -- create a initial Hypo
-    -- add it to the HSpace
-    Igor iod emptyHSpace
+initIgor iod n = Igor iod $ initHSpace $ mkInitialHypo iod n
+    
+mkInitialHypo :: IOData -> Name -> Hypo
+mkInitialHypo iod n = 
+    let rules = getByName n iod
+        rule  = noLog $ antiunify rules
+        cover = [0..length rules]
+        opos  = concatMap F.openPositions rules
+    in hypo $ F.ruleFrags [F.ruleFrag n rule cover opos]
+        