[BUGFIX: could not match two different variables a second time
martin.hofmann@uni-bamberg.de**20090525150420] hunk ./src/Syntax/Unifier.hs 111
-            flush "No Match!"
+            if (val == t) then return () else flush "No Match!"