--- DavideSericoli.02_negate_noargs.output	2015-05-07 23:08:25.718217691 +0200
+++ 02_negate_noargs.out	2015-05-04 16:53:29.647131663 +0200
@@ -1 +1,2 @@
+EMPTY