diff --git a/test/lus2lic-kcg.sum b/test/lus2lic-kcg.sum
index b18f2fb05d44abbae49ab8f9ca8f1b50f7564845..5dd4c5b4ab7f270075e193b7b20d938daf89b16e 100644
--- a/test/lus2lic-kcg.sum
+++ b/test/lus2lic-kcg.sum
@@ -1,4 +1,4 @@
-Test Run By ndiaye on Fri Jul 3 11:13:08 2015
+Test Run By ndiaye on Fri Jul 10 09:19:18 2015
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic-kcg tests ===
@@ -65,9 +65,9 @@ PASS: ./lus2lic {-kcg -o arbitre_scade.lus arbitre.lus -n arbitre}
PASS: ./lus2lic {-kcg -o argos_scade.lus argos.lus -n argos}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c argos_scade.lus -node argos
PASS: ./lus2lic {-kcg -o array_concat_scade.lus array_concat.lus -n array_concat}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat_scade.lus -node array_concat
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat_scade.lus -node array_concat
PASS: ./lus2lic {-kcg -o array_concat2_scade.lus array_concat2.lus -n array_concat2}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat2_scade.lus -node array_concat2
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat2_scade.lus -node array_concat2
PASS: ./lus2lic {-kcg -o arrays_scade.lus arrays.lus -n arrays}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c arrays_scade.lus -node arrays
PASS: ./lus2lic --expand-nodes {-kcg -o asservi_scade.lus asservi.lus -n asservi}
@@ -79,13 +79,13 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bascule_scade.lus -
PASS: ./lus2lic {-kcg -o bob_scade.lus bob.lus -n bob}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bob_scade.lus -node bob
PASS: ./lus2lic {-kcg -o bred_scade.lus bred.lus -n bred}
-FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_scade.lus -node bred
+PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_scade.lus -node bred
PASS: ./lus2lic {-kcg -o bred_lv4_scade.lus bred_lv4.lus -n bred_lv4}
-FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_lv4_scade.lus -node bred_lv4
+PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_lv4_scade.lus -node bred_lv4
PASS: ./lus2lic {-kcg -o bug_scade.lus bug.lus -n bug}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug_scade.lus -node bug
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug_scade.lus -node bug
PASS: ./lus2lic {-kcg -o bug2_scade.lus bug2.lus -n bug2}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug2_scade.lus -node bug2
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug2_scade.lus -node bug2
FAIL: Test -kcg : ./lus2lic {-kcg -o bug_map_fby_scade.lus bug_map_fby.lus -n bug_map_fby}
PASS: ./lus2lic {-kcg -o calculs_max_scade.lus calculs_max.lus -n calculs_max}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c calculs_max_scade.lus -node calculs_max
@@ -104,7 +104,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call05_scade.lus -n
PASS: ./lus2lic {-kcg -o call06_scade.lus call06.lus -n call06}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call06_scade.lus -node call06
PASS: ./lus2lic {-kcg -o call07_scade.lus call07.lus -n call07}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call07_scade.lus -node call07
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call07_scade.lus -node call07
PASS: ./lus2lic {-kcg -o carV2_scade.lus carV2.lus -n carV2}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c carV2_scade.lus -node carV2
FAIL: Test -kcg : ./lus2lic {-kcg -o carligths_scade.lus carligths.lus -n carligths}
@@ -136,7 +136,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c consensus_scade.lus
PASS: ./lus2lic {-kcg -o consensus2_scade.lus consensus2.lus -n consensus2}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c consensus2_scade.lus -node consensus2
PASS: ./lus2lic {-kcg -o contractForElementSelectionInArray_scade.lus contractForElementSelectionInArray.lus -n contractForElementSelectionInArray}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c contractForElementSelectionInArray_scade.lus -node contractForElementSelectionInArray
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c contractForElementSelectionInArray_scade.lus -node contractForElementSelectionInArray
PASS: ./lus2lic {-kcg -o count_scade.lus count.lus -n count}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c count_scade.lus -node count
PASS: ./lus2lic {-kcg -o cpt_scade.lus cpt.lus -n cpt}
@@ -156,7 +156,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dep_scade.lus -node
PASS: ./lus2lic {-kcg -o dependeur_scade.lus dependeur.lus -n dependeur}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dependeur_scade.lus -node dependeur
PASS: ./lus2lic {-kcg -o dependeur_struct_scade.lus dependeur_struct.lus -n dependeur_struct}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dependeur_struct_scade.lus -node dependeur_struct
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dependeur_struct_scade.lus -node dependeur_struct
PASS: ./lus2lic {-kcg -o double_delay_scade.lus double_delay.lus -n double_delay}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c double_delay_scade.lus -node double_delay
PASS: ./lus2lic {-kcg -o ec_scade.lus ec.lus -n ec}
@@ -166,11 +166,11 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c enum0_scade.lus -no
PASS: ./lus2lic {-kcg -o ex_scade.lus ex.lus -n ex}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ex_scade.lus -node ex
PASS: ./lus2lic {-kcg -o exclusion_scade.lus exclusion.lus -n exclusion}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c exclusion_scade.lus -node exclusion
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c exclusion_scade.lus -node exclusion
PASS: ./lus2lic {-kcg -o filliter_scade.lus filliter.lus -n filliter}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c filliter_scade.lus -node filliter
PASS: ./lus2lic {-kcg -o filter_scade.lus filter.lus -n filter}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c filter_scade.lus -node filter
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c filter_scade.lus -node filter
PASS: ./lus2lic {-kcg -o flo_scade.lus flo.lus -n flo}
PASS: ./lus2lic {-kcg -o followed_by_scade.lus followed_by.lus -n followed_by}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c followed_by_scade.lus -node followed_by
@@ -199,7 +199,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
PASS: ./lus2lic {-kcg -o iterate_scade.lus iterate.lus -n iterate}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c iterate_scade.lus -node iterate
PASS: ./lus2lic {-kcg -o left_scade.lus left.lus -n left}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c left_scade.lus -node left
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c left_scade.lus -node left
PASS: ./lus2lic {-kcg -o long_et_stupide_nom_de_noeud_scade.lus long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c long_et_stupide_nom_de_noeud_scade.lus -node long_et_stupide_nom_de_noeud
PASS: ./lus2lic {-kcg -o lucky_scade.lus lucky.lus -n lucky}
@@ -244,11 +244,11 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
PASS: ./lus2lic {-kcg -o mm_scade.lus mm.lus -n mm}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm_scade.lus -node mm
PASS: ./lus2lic {-kcg -o mm1_scade.lus mm1.lus -n mm1}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm1_scade.lus -node mm1
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm1_scade.lus -node mm1
PASS: ./lus2lic {-kcg -o mm22_scade.lus mm22.lus -n mm22}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm22_scade.lus -node mm22
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm22_scade.lus -node mm22
PASS: ./lus2lic {-kcg -o mm3_scade.lus mm3.lus -n mm3}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm3_scade.lus -node mm3
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm3_scade.lus -node mm3
PASS: ./lus2lic {-kcg -o model_scade.lus model.lus -n model}
PASS: ./lus2lic {-kcg -o model2_scade.lus model2.lus -n model2}
PASS: ./lus2lic {-kcg -o modelInst_scade.lus modelInst.lus -n modelInst}
@@ -259,13 +259,13 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
PASS: ./lus2lic {-kcg -o modes3x2_v4_scade.lus modes3x2_v4.lus -n modes3x2_v4}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c modes3x2_v4_scade.lus -node modes3x2_v4
PASS: ./lus2lic {-kcg -o morel_scade.lus morel.lus -n morel}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel_scade.lus -node morel
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel_scade.lus -node morel
PASS: ./lus2lic {-kcg -o morel2_scade.lus morel2.lus -n morel2}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel2_scade.lus -node morel2
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel2_scade.lus -node morel2
PASS: ./lus2lic {-kcg -o morel3_scade.lus morel3.lus -n morel3}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel3_scade.lus -node morel3
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel3_scade.lus -node morel3
PASS: ./lus2lic {-kcg -o morel4_scade.lus morel4.lus -n morel4}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel4_scade.lus -node morel4
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel4_scade.lus -node morel4
PASS: ./lus2lic {-kcg -o morel5_scade.lus morel5.lus -n morel5}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel5_scade.lus -node morel5
PASS: ./lus2lic {-kcg -o mouse_scade.lus mouse.lus -n mouse}
@@ -314,7 +314,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
PASS: ./lus2lic {-kcg -o notTwo_scade.lus notTwo.lus -n notTwo}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c notTwo_scade.lus -node notTwo
PASS: ./lus2lic {-kcg -o o2l_feux_compl_scade.lus o2l_feux_compl.lus -n o2l_feux_compl}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c o2l_feux_compl_scade.lus -node o2l_feux_compl
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c o2l_feux_compl_scade.lus -node o2l_feux_compl
PASS: ./lus2lic {-kcg -o oneq_scade.lus oneq.lus -n oneq}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c oneq_scade.lus -node oneq
PASS: ./lus2lic {-kcg -o onlyroll_scade.lus onlyroll.lus -n onlyroll}
@@ -363,7 +363,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
PASS: ./lus2lic {-kcg -o predef02_scade.lus predef02.lus -n predef02}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef02_scade.lus -node predef02
PASS: ./lus2lic {-kcg -o predef03_scade.lus predef03.lus -n predef03}
-FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef03_scade.lus -node predef03
+PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef03_scade.lus -node predef03
PASS: ./lus2lic {-kcg -o predefOp_scade.lus predefOp.lus -n predefOp}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predefOp_scade.lus -node predefOp
PASS: ./lus2lic {-kcg -o produitBool_scade.lus produitBool.lus -n produitBool}
@@ -417,14 +417,14 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
PASS: ./lus2lic {-kcg -o test_arrow_scade.lus test_arrow.lus -n test_arrow}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_arrow_scade.lus -node test_arrow
PASS: ./lus2lic {-kcg -o test_boolred_scade.lus test_boolred.lus -n test_boolred}
-FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_boolred_scade.lus -node test_boolred
+PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_boolred_scade.lus -node test_boolred
PASS: ./lus2lic {-kcg -o test_clash_scade.lus test_clash.lus -n test_clash}
PASS: ./lus2lic {-kcg -o test_condact_scade.lus test_condact.lus -n test_condact}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_condact_scade.lus -node test_condact
PASS: ./lus2lic {-kcg -o test_const_scade.lus test_const.lus -n test_const}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_const_scade.lus -node test_const
PASS: ./lus2lic {-kcg -o test_diese_scade.lus test_diese.lus -n test_diese}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_diese_scade.lus -node test_diese
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_diese_scade.lus -node test_diese
PASS: ./lus2lic {-kcg -o test_enum_scade.lus test_enum.lus -n test_enum}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_enum_scade.lus -node test_enum
PASS: ./lus2lic {-kcg -o test_extern_scade.lus test_extern.lus -n test_extern}
@@ -444,11 +444,11 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
PASS: ./lus2lic {-kcg -o titi_scade.lus titi.lus -n titi}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c titi_scade.lus -node titi
PASS: ./lus2lic {-kcg -o toolate_scade.lus toolate.lus -n toolate}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toolate_scade.lus -node toolate
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toolate_scade.lus -node toolate
PASS: ./lus2lic {-kcg -o toto_scade.lus toto.lus -n toto}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toto_scade.lus -node toto
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toto_scade.lus -node toto
PASS: ./lus2lic {-kcg -o tranche_scade.lus tranche.lus -n tranche}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tranche_scade.lus -node tranche
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tranche_scade.lus -node tranche
PASS: ./lus2lic {-kcg -o tri_scade.lus tri.lus -n tri}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tri_scade.lus -node tri
PASS: ./lus2lic {-kcg -o triSel_scade.lus triSel.lus -n triSel}
@@ -458,7 +458,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_scade.lus -
PASS: ./lus2lic {-kcg -o trivial2_scade.lus trivial2.lus -n trivial2}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial2_scade.lus -node trivial2
PASS: ./lus2lic {-kcg -o trivial_array_scade.lus trivial_array.lus -n trivial_array}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_array_scade.lus -node trivial_array
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_array_scade.lus -node trivial_array
PASS: ./lus2lic {-kcg -o ts01_scade.lus ts01.lus -n ts01}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ts01_scade.lus -node ts01
PASS: ./lus2lic {-kcg -o ts04_scade.lus ts04.lus -n ts04}
@@ -466,7 +466,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ts04_scade.lus -nod
PASS: ./lus2lic {-kcg -o tuple_scade.lus tuple.lus -n tuple}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tuple_scade.lus -node tuple
PASS: ./lus2lic {-kcg -o type_decl_scade.lus type_decl.lus -n type_decl}
-PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c type_decl_scade.lus -node type_decl
+FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c type_decl_scade.lus -node type_decl
PASS: ./lus2lic {-kcg -o uu_scade.lus uu.lus -n uu}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c uu_scade.lus -node uu
PASS: ./lus2lic {-kcg -o v1_scade.lus v1.lus -n v1}
@@ -486,5 +486,5 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c zzz2_scade.lus -nod
=== lus2lic-kcg Summary ===
-# of expected passes 372
-# of unexpected failures 103
+# of expected passes 352
+# of unexpected failures 123