[BUGFIX: unused vars at matching are also those occurring in both rhss
martin.hofmann@uni-bamberg.de**20100108073656] hunk ./src/Igor2/RuleDevelopment/Matching.hs 222
-                (Just s) -> do let cllvars = (concatMap getVars (lhs.crul $ cll))
-                               let unaffectedvars = cllvars \\ (map (\(n,t) -> toVar t n) s)
+                (Just s) -> do let cllvars = (nub $ concatMap getVars (lhs.crul $ cll))
+                               let bthvars = (nub $ getVars (rhs.crul $ cll)) `intersect` (nub $ getVars (rhs.crul $ tgt))
+                               let unaffectedvars = (cllvars \\ bthvars) \\ (map (\(n,t) -> toVar t n) s)
hunk ./src/Igor2/RuleDevelopment/Matching.hs 226
-                               -- replace all vars not in the substitution by wildcards
+                               -- replace all vars not in the substitution 
+                               -- and those which are in both rhss by wildcards