[code cleaning
martin.hofmann@uni-bamberg.de**20100617132214] hunk ./src/Igor2/RuleDevelopment/Matching.hs 99
-     scio <- liftM (minimumBy (compare `on` (size.lhs.crul))) $ breakupM  cr
+     cvdIOs    <- breakupM $ cr
+     allIOs   <- liftM (getAll n) getEvidence
+     -- get coverd IOs
+     let scio  =  minimumBy (compare `on` (size.lhs.crul)) cvdIOs
hunk ./src/Igor2/RuleDevelopment/Matching.hs 106
-     tgtrs    <- liftM ((admissibleIOs comp scio).(getAll n)) getEvidence
+     let tgtrs = admissibleIOs comp scio allIOs
hunk ./src/Igor2/RuleDevelopment/Matching.hs 111
-     subs     <- lift . lift . lift . lift $ (on matchesLhs crul scio cr) `catchError`
-                            \e -> return []
+     -- variable renaming
+     subs     <- lift . lift . lift . lift $ (matchesLhs `on` crul) scio cr
+                `catchError`  -- should not happen here
+                (\_e -> return [])
hunk ./src/Igor2/RuleDevelopment/Matching.hs 118
-     cllrs       <- breakupM $ cr
hunk ./src/Igor2/RuleDevelopment/Matching.hs 119
-     pats  <-  mapM (testPat n cllrs (lhs.crul $ cr)) $ (map . buildPat) subs' tgtlhs
-     return $ map ((,) =<< flip comp (lhs.crul $ cr)) $ catMaybes $  pats
+     -- simple conversion for our convenience (names to variables)
+     let pats =  (map . buildPat) subs' tgtlhs
+     -- generate all patterns
+     cpats  <-  mapM (testPat n cvdIOs (lhs.crul $ cr)) pats
+     -- correct tested patterns
+     ipats <- collInclPats cvdIOs allIOs 
+     -- incomplete patterns TODO write itestPat to get all incomplete patterns
+     return $ map ((,) =<< flip comp (lhs.crul $ cr)) $ catMaybes $  cpats
hunk ./src/Igor2/RuleDevelopment/Matching.hs 131
+-- TODO
+collInclPats cvdIOs allIos = return []
+
hunk ./src/Igor2/RuleDevelopment/Matching.hs 158
-     kind of a normalized lhs pattern of 'r2' w.r.t. 'r1'
+     kind of a normalized lhs pattern of 'r2' w.r.t. 'r1' (variable renaming)