--- CatherinePrado.02_negate.output 2015-05-08 08:32:18.108161325 +0200 +++ 02_negate.out 2015-04-30 14:35:59.137061874 +0200 @@ -1 +1,2 @@ -EMPTY +-333 +