[improve Syntax.Class.Term.compareSizePairwise
Helmut Grohne <grohne@cs.uni-bonn.de>**20150108153421
 Ignore-this: e62e8777a14e8c3a92368e292e626a70
  * improve aliasing
  * remove unnecessary case
] hunk ./src/Syntax/Class/Term.hs 93
-compareSizePairwise [x] [y] = on compare size x y
-compareSizePairwise (x:xs) (y:ys)
-    | on compare size  x y == EQ = compareSizePairwise xs ys
-    | otherwise                  = on compare size x y
+compareSizePairwise (x:xs) (y:ys) =
+    let o = on compare size x y
+    in if o == EQ then compareSizePairwise xs ys else o