[BUGFIX: antiunifying a single rule introduced sometimes variables
martin.hofmann@uni-bamberg.de**20090525112006] hunk ./expl/Examples.hs 4
-data Peano = O | S Peano
+data Peano = Z | S Peano
hunk ./expl/Examples.hs 121
+lengtH :: [a] -> Peano
+lengtH [] = Z
+lengtH [a] = S Z
+lengtH [a,b] = S(S Z)
+lengtH [a,b,c] = S(S(S Z))
+
hunk ./src/Syntax/Antiunifier.hs 271
-checkforAntiInstance l@(x:xs) =  
-    if (all (== x) xs) && not (any isWild xs || all isVar xs)
+-- checkforAntiInstance [x] = return x -- is implied when condition below is True
+checkforAntiInstance l@(x:xs) =   
+    if (all (== x) l) && not (any isWild l || all isVar l)