[bugfix initIOData helpers coverRules propagate
martin.hofmann@uni-bamberg.de**20081203145545] hunk ./src/Data/IgorData.hs 31
-    let rules = getByName n iod
+    let rules = getAll n iod
+        rule  = noLog $! antiunify rules
+        cover = [0..(length rules)-1]
+        opos  = F.openPositions rule
+        ih = hypo $ F.ruleFrags [F.ruleFrag n rule cover opos]
+    in trace ( "InitialHypo:" ++ (show ih)) $ ih
+    
+
+coverRules :: IOData -> Name -> [Int] -> RuleFrag
+coverRules iod n is =
+    let rules = getSpecifics n iod is
hunk ./src/Data/IgorData.hs 43
-        cover = [0..length rules]
-        opos  = concatMap F.openPositions rules
-    in hypo $ F.ruleFrags [F.ruleFrag n rule cover opos]
-        
+        opos  = F.openPositions rule
+    in F.ruleFrag n rule is opos
+    
+propagate :: (RuleFrag,RuleFrags,[Call]) -> Igor -> Igor   
+propagate p (Igor iod sp) = Igor iod (HS.propagate p sp)
+      