[Removed :simplify from the fibAdd tests ('cause it's broken)
tobias@goedderz.info**20150311135453
 Ignore-this: 745e7826a656b08283f4e78fe5512f20
] hunk ./tests/fibAdd.bat 2
-:set +simplify
hunk ./tests/fibAdd.out 16
-Simplified           True
+Simplified           False
hunk ./tests/fibAdd.out 33
+fibAdd a0 (S a1) = S (fun1 a0 (S a1))
hunk ./tests/fibAdd.out 35
-fun1 (S _) (S (S a0)) = S (S (fun1 a0 (S a0)))
+fun1 (S _) (S (S a0)) = S (fun5 (S a0) (S (S a0)))
+fun5 (S _) (S (S a0)) = fibAdd a0 (S a0)