[avoid term functions
martin.hofmann@uni-bamberg.de**20091007091418] hunk ./src/RuleDevelopment/Matching.hs 212
-       else do s <- lift $ (liftM Just $ on (matchesWithSubs) (rhs.crul) cll tgt) `catchError`
-                          (\_ -> return Nothing)
+       else do s <- lift $ (liftM Just $ on matchesRhs crul cll tgt) `catchError`
+                          (\e -> return Nothing)