Update test.anf

Author: mocenigo

tests/anf-files/test.anf

@@ -1,3 +1,4 @@
+c RUN: %solver --anfread %s --anfwrite /dev/stdout --el 0 --xl 0 --sat 0 | %OutputCheck %s
 x(1) + x2 + x3
 x1*x2 + x2*x3 + 1
-
+c CHECK-L: x(2) + x(1)