[BUGFIX: generic cata detection overly general
martin.hofmann@uni-bamberg.de**20091218093252] hunk ./src/Igor2/RuleDevelopment/Cata.hs 45
-    doit x = applyC $ (matches (fst x) muVar) >> return (snd x)
+    doit x = applyC $ (match (fst x) muVar) >> return (snd x)