[function stub removed
martin.hofmann@uni-bamberg.de**20100617132433] hunk ./src/Igor2/RuleDevelopment/Matching.hs 124
-     ipats <- collInclPats cvdIOs allIOs 
-     -- incomplete patterns TODO write itestPat to get all incomplete patterns
hunk ./src/Igor2/RuleDevelopment/Matching.hs 129
--- TODO
-collInclPats cvdIOs allIos = return []
-