[BUGFIX: unsufficient pattern in compareSizePairwise
martin.hofmann@uni-bamberg.de**20090924065616] hunk ./src/Syntax/Terms.hs 91
+compareSizePairwise  [] [] = EQ
+compareSizePairwise  x  [] = GT
+compareSizePairwise  [] y  = LT