[Format and logging
martin.hofmann@uni-bamberg.de**20101012131604] hunk ./src/Igor2/Data/IgorMonad.hs 17
-    targets, predicates, addIO, breakupM, coverAll, evalIO,
+    targets, predicates, addIO, breakupM, coverAll, evalIO, 
hunk ./src/Igor2/Data/IgorMonad.hs 252
---fuseM :: [CovrRule] -> IM CovrRule  
---fuseM = return . fuse
-
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 29
-               (\_ -> naiveMap i cr evi)
+               (\e -> llogNO (text $ "No fold: " ++  e) >> naiveMap i cr evi)
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 246
+        
+    -- onlyOne l 
+    --    | all (\e -> ithArg i (crul e) == (rhs . crul) e) l = lift . fuse $ l
+    --    | otherwise                       = fail "Not only one base case."