--- DavideSericoli.03_dup_noargs.output 2015-05-07 23:08:25.622216044 +0200 +++ 03_dup_noargs.out 2015-05-04 16:53:53.793551216 +0200 @@ -1 +1,2 @@ - +EMPTY +EMPTY