--- 1808746.random16.output	2018-05-08 23:45:16.446854517 +0200
+++ random16.out	2018-05-02 18:12:24.180825651 +0200
@@ -1,3 +1,5 @@
 ((-4)+((10)+((1)-(1))))
-(-6)
+((-4)+((10)+(0)))
+((-4)+(10))
+(6)