[BUGFIX when antiunifying InfixE, ctor should not be included in subterms
martin.hofmann@uni-bamberg.de**20090629035625] hunk ./src/Syntax/Expressions.hs 591
-        checkSame s t >> return [l,c,r]
+        checkSame s t >> return [l,r]