+ add a test that reveal a pb in the generated C code in lustre programs
that perform equalities on arrays.