[minor simplifcation
martin.hofmann@uni-bamberg.de**20091210073249] hunk ./src/Igor2/RuleDevelopment/Partition.hs 39
-    iod <- getEvidence
-    let cruls    = breakup cr iod
+    cruls <- breakupM cr
hunk ./src/Igor2/RuleDevelopment/Partition.hs 41
-    allParts <- lift $ mapM (partitionAt cruls) partpos
+    allParts <- mapM (partitionAt cruls) partpos
hunk ./src/Igor2/RuleDevelopment/Partition.hs 57
-partitionAt :: [CovrRule] -> RulePos -> LM CovrRules
-partitionAt crs p =  liftM  S.fromList $ mapM fuse bins
+partitionAt :: [CovrRule] -> RulePos -> IM CovrRules
+partitionAt crs p =  lift $ liftM  S.fromList $ mapM fuse bins