[BUGFIX: called genericCata twice
martin.hofmann@uni-bamberg.de**20091217104945] hunk ./src/Igor2/RuleDevelopment/Cata.hs 27
+    llogNO $ text "Try generic catamorphism"  
hunk ./src/Igor2/RuleDevelopment/Cata.hs 29
-    gc <- genCataArgIs cr >>= mapM (genericCata cr) >>= return . oneOnly . concat
-        
-    if not $ null gc then return gc
-      else mapM (genericCata cr) (lstCataArgIs cr) >>= return . oneOnly . concat
+    gcr <- genCataArgIs cr >>= mapM (genericCata cr) >>= return . oneOnly . concat
+    if not . null $ gcr then return gcr
+      else do llogNO $ text "Try special catamorphism on lists"  
+              mapM (listCata cr) (lstCataArgIs cr) >>=
+               return . oneOnly . concat
hunk ./src/Igor2/RuleDevelopment/Cata.hs 52
-genericCata cr i = do   
+genericCata cr i = do 
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 26
-listCata :: Int ->  CovrRule -> IM [(CovrRules,[Call])]
-listCata i cr = do
+listCata :: CovrRule -> Int -> IM [(CovrRules,[Call])]
+listCata cr i = do 