[set + simplify for all successful tests
Helmut Grohne <grohne@cs.uni-bonn.de>**20150113152955
 Ignore-this: e7547acbe5e91c1e4403a336d5410934
] hunk ./create_tests.bash 15
+:s + simplify
hunk ./tests/add.bat 2
+:s + simplify
hunk ./tests/add.out 16
-Simplified           False
+Simplified           True
hunk ./tests/add.out 35
-add (S a0) (S a1) = S (fun49 (S a0) (S a1))
-fun10227 (S _) (S a1) = a1
-fun10228 (S a0) (S _) = a0
-fun49 (S a0) (S a1) = S (fun874 (S a0) (S a1))
-fun874 (S a0) (S a1) = add (fun10227 (S a0) (S a1)) (fun10228 (S a0) (S a1))
+add (S a0) (S a1) = S (S (add a1 a0))
hunk ./tests/add.out 43
-add (S a0) (S a1) = S (fun49 (S a0) (S a1))
-fun10233 (S a0) (S _) = a0
-fun10234 (S _) (S a1) = a1
-fun49 (S a0) (S a1) = S (fun874 (S a0) (S a1))
-fun874 (S a0) (S a1) = add (fun10233 (S a0) (S a1)) (fun10234 (S a0) (S a1))
+add (S a0) (S a1) = S (S (add a0 a1))
hunk ./tests/add.out 51
-add (S a0) (S a1) = S (fun49 (S a0) (S a1))
-fun10259 (S _) (S a1) = a1
-fun10260 (S a0) (S _) = a0
-fun49 (S a0) (S a1) = S (fun874 (S a0) (S a1))
-fun874 (S a0) (S a1) = add (fun10259 (S a0) (S a1)) (fun10260 (S a0) (S a1))
+add (S a0) (S a1) = S (S (add a1 a0))
hunk ./tests/add.out 59
-add (S a0) (S a1) = S (fun49 (S a0) (S a1))
-fun10265 (S a0) (S _) = a0
-fun10266 (S _) (S a1) = a1
-fun49 (S a0) (S a1) = S (fun874 (S a0) (S a1))
-fun874 (S a0) (S a1) = add (fun10265 (S a0) (S a1)) (fun10266 (S a0) (S a1))
+add (S a0) (S a1) = S (S (add a0 a1))
hunk ./tests/addN.bat 2
+:s + simplify
hunk ./tests/addN.out 16
-Simplified           False
+Simplified           True
hunk ./tests/addN.out 34
-addN a0 (a1 : a2) = fun1 a0 (a1 : a2) : fun2 a0 (a1 : a2)
+addN a0 (a1 : a2) = fun1 a0 (a1 : a2) : addN a0 a2
hunk ./tests/addN.out 36
-fun1 (S a0) (a1 : a2) = S (fun15 (S a0) (a1 : a2))
-fun15 (S a0) (a1 : a2) = fun1 (fun345 (S a0) (a1 : a2)) (fun346 (S a0) (a1 : a2))
-fun2 a0 (_ : a2) = addN a0 a2
-fun345 (S a0) (_ : _) = a0
-fun346 (S _) (a1 : _) = [a1]
+fun1 (S a0) (a1 : _) = S (fun1 a0 [a1])
hunk ./tests/anD.bat 2
+:s + simplify
hunk ./tests/anD.out 16
-Simplified           False
+Simplified           True
hunk ./tests/andL.bat 2
+:s + simplify
hunk ./tests/andL.out 16
-Simplified           False
+Simplified           True
hunk ./tests/appenD.bat 2
+:s + simplify
hunk ./tests/appenD.out 16
-Simplified           False
+Simplified           True
hunk ./tests/appenD.out 34
-appenD (a0 : a1) a2 = a0 : fun145 (a0 : a1) a2
-fun145 (a0 : a1) a2 = appenD (fun1464 (a0 : a1) a2) (fun1465 (a0 : a1) a2)
-fun1464 (_ : a1) _ = a1
-fun1465 (_ : _) a2 = a2
+appenD (a0 : a1) a2 = a0 : appenD a1 a2
hunk ./tests/balloons.bat 2
+:s + simplify
hunk ./tests/balloons.out 16
-Simplified           False
+Simplified           True
hunk ./tests/enjoySport.bat 2
+:s + simplify
hunk ./tests/enjoySport.out 16
-Simplified           False
+Simplified           True
hunk ./tests/eq.bat 2
+:s + simplify
hunk ./tests/eq.out 16
-Simplified           False
+Simplified           True
hunk ./tests/eq.out 35
-eq (S a0) a1 = eq (fun71 (S a0) a1) (fun72 (S a0) a1)
-fun71 (S a0) _ = a0
+eq (S a0) a1 = eq a0 (fun72 (S a0) a1)
hunk ./tests/eq.out 45
-eq (S a0) a1 = eq (fun311 (S a0) a1) (fun312 (S a0) a1)
-fun311 (S a0) _ = a0
+eq (S a0) a1 = eq a0 (fun312 (S a0) a1)
hunk ./tests/eveN.bat 2
+:s + simplify
hunk ./tests/eveN.out 16
-Simplified           False
+Simplified           True
hunk ./tests/evenpos.bat 2
+:s + simplify
hunk ./tests/evenpos.out 16
-Simplified           False
+Simplified           True
hunk ./tests/evenpos.out 35
-evenpos (a0 : (a1 : a2)) = a1 : fun1 (a0 : (a1 : a2))
-fun1 (_ : (_ : a2)) = evenpos a2
+evenpos (_ : (a1 : a2)) = a1 : evenpos a2
hunk ./tests/evens.bat 2
+:s + simplify
hunk ./tests/evens.out 16
-Simplified           False
+Simplified           True
hunk ./tests/evens.out 34
-evens (Z : a0) = Z : fun1 (Z : a0)
+evens (Z : a0) = Z : evens a0
hunk ./tests/evens.out 36
-evens (S (S (Z)) : a0) = S (S Z) : fun6 (S (S Z) : a0)
+evens (S (S (Z)) : a0) = S (S Z) : evens a0
hunk ./tests/evens.out 38
-fun1 (Z : a0) = evens a0
-fun6 (S (S (Z)) : a0) = evens a0
hunk ./tests/evens.out 44
-evens (Z : a0) = Z : fun1 (Z : a0)
+evens (Z : a0) = Z : evens a0
hunk ./tests/evens.out 46
-evens (S (S (Z)) : a0) = S (S Z) : fun6 (S (S Z) : a0)
+evens (S (S (Z)) : a0) = S (S Z) : evens a0
hunk ./tests/evens.out 48
-fun1 (Z : a0) = evens a0
-fun6 (S (S (Z)) : a0) = fun1 (Z : a0)
hunk ./tests/fib.bat 2
+:s + simplify
hunk ./tests/fib.out 16
-Simplified           False
+Simplified           True
hunk ./tests/fib.out 37
-fun1 (S (S (S a0))) = S (fun4 (S (S (S a0))))
-fun4 (S (S (S a0))) = fib (fun8 (S (S (S a0))))
-fun40 (S (S (S (S a0)))) = S (fun75 (S (S (S (S a0)))))
-fun75 (S (S (S (S a0)))) = fun8 (S (S (S a0)))
+fun1 (S (S (S a0))) = S (fib (fun8 (S (S (S a0)))))
hunk ./tests/fib.out 39
-fun8 (S (S (S (S a0)))) = S (fun40 (S (S (S (S a0)))))
+fun8 (S (S (S (S a0)))) = S (S (fun8 (S (S (S a0)))))
hunk ./tests/fibAdd.bat 2
+:s + simplify
hunk ./tests/fibAdd.out 16
-Simplified           False
+Simplified           True
hunk ./tests/fibAdd.out 33
-fibAdd a0 (S a1) = S (fun1 a0 (S a1))
hunk ./tests/fibAdd.out 34
-fun1 (S _) (S (S a0)) = S (fun5 (S a0) (S (S a0)))
-fun5 (S _) (S (S a0)) = fibAdd a0 (S a0)
+fun1 (S _) (S (S a0)) = S (S (fun1 a0 (S a0)))
hunk ./tests/flatapp.bat 2
+:s + simplify
hunk ./tests/flatapp.out 16
-Simplified           False
+Simplified           True
hunk ./tests/flatten.bat 2
+:s + simplify
hunk ./tests/flatten.out 16
-Simplified           False
+Simplified           True
hunk ./tests/hanoi.bat 2
+:s + simplify
hunk ./tests/hanoi.out 16
-Simplified           False
+Simplified           True
hunk ./tests/hanoi.out 34
-hanoi (D a0) a1 a2 a3 a4 = hanoi (fun8 (D a0) a1 a2 a3 a4) (fun9 (D a0) a1 a2 a3 a4) (fun10 (D a0) a1 a2 a3 a4) (fun11 (D a0) a1 a2 a3 a4) (fun12 (D a0) a1 a2 a3 a4)
-fun10 (D _) a1 _ _ _ = a1
-fun11 (D _) _ _ a3 _ = a3
-fun12 (D a0) a1 a2 a3 a4 = MV (D a0) a1 a3 (fun15 (D a0) a1 a2 a3 a4)
-fun15 (D a0) a1 a2 a3 a4 = hanoi (fun21 (D a0) a1 a2 a3 a4) (fun22 (D a0) a1 a2 a3 a4) (fun23 (D a0) a1 a2 a3 a4) (fun24 (D a0) a1 a2 a3 a4) (fun25 (D a0) a1 a2 a3 a4)
-fun21 (D a0) _ _ _ _ = a0
-fun22 (D _) a1 _ _ _ = a1
-fun23 (D _) _ _ a3 _ = a3
-fun24 (D _) _ a2 _ _ = a2
-fun25 (D _) _ _ _ a4 = a4
-fun8 (D a0) _ _ _ _ = a0
-fun9 (D _) _ a2 _ _ = a2
+hanoi (D a0) a1 a2 a3 a4 = hanoi a0 a2 a1 a3 (MV (D a0) a1 a3 (hanoi a0 a1 a3 a2 a4))
hunk ./tests/heaD.bat 2
+:s + simplify
hunk ./tests/heaD.out 16
-Simplified           False
+Simplified           True
hunk ./tests/incr.bat 2
+:s + simplify
hunk ./tests/incr.out 16
-Simplified           False
+Simplified           True
hunk ./tests/incr.out 34
-incr (a0 : a1) = S a0 : fun1 (a0 : a1)
-fun1 (_ : a1) = incr a1
+incr (a0 : a1) = S a0 : incr a1
hunk ./tests/lasT.bat 2
+:s + simplify
hunk ./tests/lasT.out 16
-Simplified           False
+Simplified           True
hunk ./tests/lastM.bat 2
+:s + simplify
hunk ./tests/lastM.out 16
-Simplified           False
+Simplified           True
hunk ./tests/lasts.bat 2
+:s + simplify
hunk ./tests/lasts.out 16
-Simplified           False
+Simplified           True
hunk ./tests/lasts.out 34
-lasts ([a0] : a1) = a0 : fun5 ([a0] : a1)
+lasts ([a0] : a1) = a0 : lasts a1
hunk ./tests/lasts.out 36
-fun5 ([_] : a1) = lasts a1
hunk ./tests/lengtH.bat 2
+:s + simplify
hunk ./tests/lengtH.out 16
-Simplified           False
+Simplified           True
hunk ./tests/lengtH.out 34
-lengtH (a0 : a1) = S (fun1 (a0 : a1))
-fun1 (_ : a1) = lengtH a1
+lengtH (_ : a1) = S (lengtH a1)
hunk ./tests/lengths.bat 2
+:s + simplify
hunk ./tests/lengths.out 16
-Simplified           False
+Simplified           True
hunk ./tests/lengths.out 36
-fun1 [a0 : a1] = S (fun19 [a0 : a1])
-fun1 [a0 : a1, a2] = S (fun23 [a0 : a1, a2])
-fun19 [_ : a1] = fun1 [a1]
+fun1 [_ : a1] = S (fun1 [a1])
+fun1 [_ : a1, _] = S (fun1 [a1])
hunk ./tests/lengths.out 40
-fun2 [a0 : a1, a2] = fun2 (fun35 [a0 : a1, a2])
-fun23 [_ : a1, _] = fun1 [a1]
-fun35 [_ : _, a2] = [[], a2]
+fun2 [_ : _, a2] = fun2 [[], a2]
hunk ./tests/lengths.out 42
-fun46 [[], a0 : a1] = S (fun91 [[], a0 : a1])
-fun91 [[], a0 : a1] = fun46 (fun96 [[], a0 : a1])
-fun96 [[], _ : a1] = [[], a1]
+fun46 [[], _ : a1] = S (fun46 [[], a1])
hunk ./tests/lenses.bat 2
+:s + simplify
hunk ./tests/lenses.out 16
-Simplified           False
+Simplified           True
hunk ./tests/mem.bat 2
+:s + simplify
hunk ./tests/mem.out 16
-Simplified           False
+Simplified           True
hunk ./tests/mirror.bat 2
+:s + simplify
hunk ./tests/mirror.out 16
-Simplified           False
+Simplified           True
hunk ./tests/mirror.out 34
-mirror (Node a0 a1 a2) = Node a0 (fun1 (Node a0 a1 a2)) (fun2 (Node a0 a1 a2))
-fun1 (Node a0 a1 a2) = mirror (fun3 (Node a0 a1 a2))
-fun2 (Node _ a1 _) = mirror a1
-fun3 (Node _ _ a2) = a2
+mirror (Node a0 a1 a2) = Node a0 (mirror a2) (mirror a1)
hunk ./tests/multfst.bat 2
+:s + simplify
hunk ./tests/multfst.out 16
-Simplified           False
+Simplified           True
hunk ./tests/multfst.out 34
-multfst (a0 : a1) = a0 : fun1 (a0 : a1)
-fun1 (a0 : a1) = multfst (fun2 (a0 : a1))
+multfst (a0 : a1) = a0 : multfst (fun2 (a0 : a1))
hunk ./tests/multlst.bat 2
+:s + simplify
hunk ./tests/multlst.out 16
-Simplified           False
+Simplified           True
hunk ./tests/multlst.out 34
-multlst (a0 : a1) = fun1 (a0 : a1) : fun2 (a0 : a1)
+multlst (a0 : a1) = fun1 (a0 : a1) : multlst a1
hunk ./tests/multlst.out 37
-fun2 (_ : a1) = multlst a1
hunk ./tests/negateAll.bat 2
+:s + simplify
hunk ./tests/negateAll.out 16
-Simplified           False
+Simplified           True
hunk ./tests/negateAll.out 34
-negateAll (a0 : a1) = fun1 (a0 : a1) : fun2 (a0 : a1)
+negateAll (a0 : a1) = fun1 (a0 : a1) : negateAll a1
hunk ./tests/negateAll.out 37
-fun2 (_ : a1) = negateAll a1
hunk ./tests/odD.bat 2
+:s + simplify
hunk ./tests/odD.out 16
-Simplified           False
+Simplified           True
hunk ./tests/oddpos.bat 2
+:s + simplify
hunk ./tests/oddpos.out 16
-Simplified           False
+Simplified           True
hunk ./tests/oddpos.out 34
-oddpos (a0 : a1) = a0 : fun1 (a0 : a1)
-fun1 (a0 : a1) = oddpos (fun4 (a0 : a1))
+oddpos (a0 : a1) = a0 : oddpos (fun4 (a0 : a1))
hunk ./tests/pepper'.bat 2
+:s + simplify
hunk ./tests/pepper'.out 16
-Simplified           False
+Simplified           True
hunk ./tests/pepper.bat 2
+:s + simplify
hunk ./tests/pepper.out 16
-Simplified           False
+Simplified           True
hunk ./tests/pepper.out 37
-fun2 a0 (a1 : a2) = fun7 a0 (a1 : a2) : fun8 a0 (a1 : a2)
+fun2 a0 (a1 : a2) = fun7 a0 (a1 : a2) : fun2 (fun28 a0 (a1 : a2)) a2
hunk ./tests/pepper.out 40
-fun29 _ (_ : a2) = a2
hunk ./tests/pepper.out 42
-fun8 a0 (a1 : a2) = fun2 (fun28 a0 (a1 : a2)) (fun29 a0 (a1 : a2))
hunk ./tests/playTennis.bat 2
+:s + simplify
hunk ./tests/playTennis.out 16
-Simplified           False
+Simplified           True
hunk ./tests/powapp.bat 2
+:s + simplify
hunk ./tests/powapp.out 16
-Simplified           False
+Simplified           True
hunk ./tests/powset.bat 2
+:s + simplify
hunk ./tests/powset.out 16
-Simplified           False
+Simplified           True
hunk ./tests/reversE.bat 2
+:s + simplify
hunk ./tests/reversE.out 16
-Simplified           False
+Simplified           True
hunk ./tests/reversE.out 34
-reversE (a0 : a1) = fun1 (a0 : a1) : fun2 (a0 : a1)
+reversE (a0 : a1) = fun1 (a0 : a1) : reversE (fun5 (a0 : a1))
hunk ./tests/reversE.out 37
-fun11 (a0 : (a1 : a2)) = fun5 (fun16 (a0 : (a1 : a2)))
-fun16 (_ : (a1 : a2)) = a1 : a2
-fun2 (a0 : a1) = reversE (fun5 (a0 : a1))
hunk ./tests/reversE.out 38
-fun5 (a0 : (a1 : a2)) = a0 : fun11 (a0 : (a1 : a2))
+fun5 (a0 : (a1 : a2)) = a0 : fun5 (a1 : a2)
hunk ./tests/rocket.bat 2
+:s + simplify
hunk ./tests/rocket.out 16
-Simplified           False
+Simplified           True
hunk ./tests/rocket.out 34
-rocket (a0 : a1) a2 = UNL a0 (fun1 (a0 : a1) a2)
-fun1 (a0 : a1) a2 = rocket a1 (LOD a0 a2)
+rocket (a0 : a1) a2 = UNL a0 (rocket a1 (LOD a0 a2))
hunk ./tests/shiftl.bat 2
+:s + simplify
hunk ./tests/shiftl.out 16
-Simplified           False
+Simplified           True
hunk ./tests/shiftl.out 35
-shiftl (a0 : (a1 : a2)) = a1 : fun3 (a0 : (a1 : a2))
-fun3 (a0 : (_ : a2)) = shiftl (a0 : a2)
+shiftl (a0 : (a1 : a2)) = a1 : shiftl (a0 : a2)
hunk ./tests/shiftr.bat 2
+:s + simplify
hunk ./tests/shiftr.out 16
-Simplified           False
+Simplified           True
hunk ./tests/shiftr.out 37
-fun10 (_ : (a1 : a2)) = a1 : a2
hunk ./tests/shiftr.out 38
-fun2 (a0 : (a1 : a2)) = a0 : fun8 (a0 : (a1 : a2))
-fun8 (a0 : (a1 : a2)) = fun2 (fun10 (a0 : (a1 : a2)))
+fun2 (a0 : (a1 : a2)) = a0 : fun2 (a1 : a2)
hunk ./tests/snoc.bat 2
+:s + simplify
hunk ./tests/snoc.out 16
-Simplified           False
+Simplified           True
hunk ./tests/snoc.out 34
-snoc a0 (a1 : a2) = a1 : fun3 a0 (a1 : a2)
-fun3 a0 (_ : a2) = snoc a0 a2
+snoc a0 (a1 : a2) = a1 : snoc a0 a2
hunk ./tests/switch.bat 2
+:s + simplify
hunk ./tests/switch.out 16
-Simplified           False
+Simplified           True
hunk ./tests/switch.out 34
-switch (a0 : a1) = fun1 (a0 : a1) : fun2 (a0 : a1)
+switch (a0 : a1) = fun1 (a0 : a1) : switch (fun5 (a0 : a1))
hunk ./tests/switch.out 37
-fun11 (a0 : (a1 : a2)) = fun2 (fun15 (a0 : (a1 : a2)))
-fun15 (_ : (a1 : a2)) = a1 : a2
-fun2 (a0 : a1) = switch (fun5 (a0 : a1))
hunk ./tests/switch.out 38
-fun5 (a0 : (a1 : a2)) = a0 : fun11 (a0 : (a1 : a2))
+fun5 (a0 : (a1 : a2)) = a0 : switch (fun5 (a1 : a2))
hunk ./tests/taiL.bat 2
+:s + simplify
hunk ./tests/taiL.out 16
-Simplified           False
+Simplified           True
hunk ./tests/takE.bat 2
+:s + simplify
hunk ./tests/takE.out 16
-Simplified           False
+Simplified           True
hunk ./tests/takE.out 35
-takE (S a0) (a1 : a2) = a1 : fun1 (S a0) (a1 : a2)
-fun1 (S a0) (_ : a2) = takE a0 a2
+takE (S a0) (a1 : a2) = a1 : takE a0 a2
hunk ./tests/zeros.bat 2
+:s + simplify
hunk ./tests/zeros.out 16
-Simplified           False
+Simplified           True
hunk ./tests/zeros.out 34
-zeros (Z : a0) = Z : fun1 (Z : a0)
-zeros (S _ : a1) = fun1 (Z : a1)
-fun1 (Z : a0) = zeros a0
+zeros (Z : a0) = Z : zeros a0
+zeros (S _ : a1) = zeros a1
hunk ./tests/zeros.out 42
-zeros (Z : a0) = Z : fun1 (Z : a0)
+zeros (Z : a0) = Z : zeros a0
hunk ./tests/zeros.out 44
-fun1 (Z : a0) = zeros a0