[BUGFIX: error in maMap in UniProp
martin.hofmann@uni-bamberg.de**20091009111029] hunk ./src/RuleDevelopment/UniProp.hs 112
-    if  (not $ all lastArgConsed ios) || (any hasFreeVars ios) || (null ios)
+    if  (not $ all lastArgConsed evi) || (any hasFreeVars ios) || (null ios)