From 40ae6ba69bce500a19a76079266c2ace955553e5 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Wed, 27 Aug 2014 11:17:52 +0200
Subject: [PATCH] nonreg tests: remove some more spurious test failures (42->
 26)

---
 test/lus2lic.sum                  | 1330 ++++++++++++++---------------
 test/lus2lic.time                 |   14 +-
 test/should_work/X6.lus           |   26 +-
 test/should_work/activation1.lus  |    1 +
 test/should_work/activation2.lus  |    2 +
 test/should_work/asservi.lus      |    1 +
 test/should_work/filter.lus       |    1 +
 test/should_work/speedcontrol.lus |    1 +
 test/site.exp                     |   27 +-
 todo.org                          |   86 +-
 utils/compare_exec_and_2c         |    7 +-
 utils/test_lus2lic_no_node        |    5 +-
 12 files changed, 750 insertions(+), 751 deletions(-)

diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index d4ae5294..ea601e79 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,5 +1,5 @@
 ==> lus2lic0.sum <==
-Test Run By jahier on Tue Aug 26 18:04:49 
+Test Run By jahier on Wed Aug 27 11:08:52 
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic0 tests ===
@@ -63,7 +63,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
 XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/eq1.lus
 
 ==> lus2lic1.sum <==
-Test Run By jahier on Tue Aug 26 18:04:49 
+Test Run By jahier on Wed Aug 27 11:08:53 
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic1 tests ===
@@ -73,349 +73,336 @@ Schedule of variations:
 
 Running target unix
 Running ./lus2lic.tests/test1.exp ...
-PASS: ./lus2lic {-2c argos.lus -n argos}
+PASS: ./lus2lic  {-2c argos.lus -n argos}
 PASS: gcc -o argos.exec argos_argos.c argos_argos_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c argos.lus 
-PASS: ./lus2lic {-2c access.lus -n access}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c argos.lus  {}
+PASS: ./lus2lic  {-2c access.lus -n access}
 PASS: gcc -o access.exec access_access.c access_access_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c access.lus 
-PASS: ./lus2lic {-2c array_concat2.lus -n array_concat2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c access.lus  {}
+PASS: ./lus2lic  {-2c array_concat2.lus -n array_concat2}
 PASS: gcc -o array_concat2.exec array_concat2_array_concat2.c array_concat2_array_concat2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat2.lus 
-PASS: ./lus2lic {-2c arbitre.lus -n arbitre}
-FAIL: Check that the generated C code compiles  : gcc -o arbitre.exec arbitre_arbitre.c arbitre_arbitre_ext.c arbitre_arbitre_loop.c 
-PASS: ./lus2lic {-2c activation_ec.lus -n activation_ec}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat2.lus  {}
+PASS: ./lus2lic  {-2c arbitre.lus -n arbitre}
+PASS: ./lus2lic  {-2c activation_ec.lus -n activation_ec}
 PASS: gcc -o activation_ec.exec activation_ec_activation_ec.c activation_ec_activation_ec_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation_ec.lus 
-FAIL: Generate c code  : ./lus2lic {-2c activation2.lus -n activation2}
-PASS: ./lus2lic {-2c aa.lus -n aa}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation_ec.lus  {}
+PASS: ./lus2lic  --expand-nodes {-2c activation2.lus -n activation2}
+PASS: gcc -o activation2.exec activation2_activation2.c activation2_activation2_loop.c 
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation2.lus  { --expand-nodes}
+PASS: ./lus2lic  {-2c aa.lus -n aa}
 PASS: gcc -o aa.exec aa_aa.c aa_aa_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus 
-PASS: ./lus2lic {-2c array_concat.lus -n array_concat}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus  {}
+PASS: ./lus2lic  {-2c array_concat.lus -n array_concat}
 PASS: gcc -o array_concat.exec array_concat_array_concat.c array_concat_array_concat_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus 
-FAIL: Generate c code  : ./lus2lic {-2c activation1.lus -n activation1}
-FAIL: Generate c code  : ./lus2lic {-2c asservi.lus -n asservi}
-PASS: ./lus2lic {-2c alias.lus -n alias}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus  {}
+PASS: ./lus2lic  --expand-nodes {-2c activation1.lus -n activation1}
+PASS: gcc -o activation1.exec activation1_activation1.c activation1_activation1_loop.c 
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation1.lus  { --expand-nodes}
+PASS: ./lus2lic  --expand-nodes {-2c asservi.lus -n asservi}
+PASS: ./lus2lic  {-2c alias.lus -n alias}
 PASS: gcc -o alias.exec alias_alias.c alias_alias_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus 
-PASS: ./lus2lic {-2c after.lus -n after}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus  {}
+PASS: ./lus2lic  {-2c after.lus -n after}
 PASS: gcc -o after.exec after_after.c after_after_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus 
-PASS: ./lus2lic {-2c arrays.lus -n arrays}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus  {}
+PASS: ./lus2lic  {-2c arrays.lus -n arrays}
 PASS: gcc -o arrays.exec arrays_arrays.c arrays_arrays_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus 
-PASS: ./lus2lic {-2c bug2.lus -n bug2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus  {}
+PASS: ./lus2lic  {-2c bug2.lus -n bug2}
 PASS: gcc -o bug2.exec bug2_bug2.c bug2_bug2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug2.lus 
-PASS: ./lus2lic {-2c bascule.lus -n bascule}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug2.lus  {}
+PASS: ./lus2lic  {-2c bascule.lus -n bascule}
 PASS: gcc -o bascule.exec bascule_bascule.c bascule_bascule_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bascule.lus 
-PASS: ./lus2lic {-2c bred.lus -n bred}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bascule.lus  {}
+PASS: ./lus2lic  {-2c bred.lus -n bred}
 PASS: gcc -o bred.exec bred_bred.c bred_bred_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred.lus 
-PASS: ./lus2lic {-2c bad_call03.lus -n bad_call03}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred.lus  {}
+PASS: ./lus2lic  {-2c bad_call03.lus -n bad_call03}
 PASS: gcc -o bad_call03.exec bad_call03_bad_call03.c bad_call03_bad_call03_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bad_call03.lus 
-PASS: ./lus2lic {-2c bob.lus -n bob}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bad_call03.lus  {}
+PASS: ./lus2lic  {-2c bob.lus -n bob}
 PASS: gcc -o bob.exec bob_bob.c bob_bob_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bob.lus 
-PASS: ./lus2lic {-2c bug.lus -n bug}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bob.lus  {}
+PASS: ./lus2lic  {-2c bug.lus -n bug}
 PASS: gcc -o bug.exec bug_bug.c bug_bug_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug.lus 
-PASS: ./lus2lic {-2c bred_lv4.lus -n bred_lv4}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug.lus  {}
+PASS: ./lus2lic  {-2c bred_lv4.lus -n bred_lv4}
 PASS: gcc -o bred_lv4.exec bred_lv4_bred_lv4.c bred_lv4_bred_lv4_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred_lv4.lus 
-PASS: ./lus2lic {-2c ck5.lus -n ck5}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred_lv4.lus  {}
+PASS: ./lus2lic  {-2c ck5.lus -n ck5}
 PASS: gcc -o ck5.exec ck5_ck5.c ck5_ck5_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck5.lus 
-PASS: ./lus2lic {-2c ck6.lus -n ck6}
-PASS: gcc -o ck6.exec ck6_ck6.c ck6_ck6_ext.c ck6_ck6_loop.c 
-PASS: ./lus2lic {-2c cminus.lus -n cminus}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck5.lus  {}
+PASS: ./lus2lic  {-2c ck6.lus -n ck6}
+PASS: ./lus2lic  {-2c cminus.lus -n cminus}
 PASS: gcc -o cminus.exec cminus_cminus.c cminus_cminus_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cminus.lus 
-PASS: ./lus2lic {-2c consensus2.lus -n consensus2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cminus.lus  {}
+PASS: ./lus2lic  {-2c consensus2.lus -n consensus2}
 PASS: gcc -o consensus2.exec consensus2_consensus2.c consensus2_consensus2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus2.lus 
-PASS: ./lus2lic {-2c call06.lus -n call06}
-PASS: gcc -o call06.exec call06_call06.c call06_call06_ext.c call06_call06_loop.c 
-PASS: ./lus2lic {-2c call05.lus -n call05}
-PASS: gcc -o call05.exec call05_call05.c call05_call05_ext.c call05_call05_loop.c 
-PASS: ./lus2lic {-2c cst.lus -n cst}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus2.lus  {}
+PASS: ./lus2lic  {-2c call06.lus -n call06}
+PASS: ./lus2lic  {-2c call05.lus -n call05}
+PASS: ./lus2lic  {-2c cst.lus -n cst}
 PASS: gcc -o cst.exec cst_cst.c cst_cst_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus 
-PASS: ./lus2lic {-2c call04.lus -n call04}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus  {}
+PASS: ./lus2lic  {-2c call04.lus -n call04}
 PASS: gcc -o call04.exec call04_call04.c call04_call04_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call04.lus 
-PASS: ./lus2lic {-2c call07.lus -n call07}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call04.lus  {}
+PASS: ./lus2lic  {-2c call07.lus -n call07}
 PASS: gcc -o call07.exec call07_call07.c call07_call07_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call07.lus 
-PASS: ./lus2lic {-2c calculs_max.lus -n calculs_max}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call07.lus  {}
+PASS: ./lus2lic  {-2c calculs_max.lus -n calculs_max}
 PASS: gcc -o calculs_max.exec calculs_max_calculs_max.c calculs_max_calculs_max_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus 
-PASS: ./lus2lic {-2c clock_ite.lus -n clock_ite}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus  {}
+PASS: ./lus2lic  {-2c clock_ite.lus -n clock_ite}
 PASS: gcc -o clock_ite.exec clock_ite_clock_ite.c clock_ite_clock_ite_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock_ite.lus 
-PASS: ./lus2lic {-2c complex.lus -n complex}
-PASS: gcc -o complex.exec complex_complex.c complex_complex_loop.c 
-PASS: ./lus2lic {-2c call.lus -n call}
-PASS: gcc -o call.exec call_call.c call_call_ext.c call_call_loop.c 
-PASS: ./lus2lic {-2c compteur.lus -n compteur}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock_ite.lus  {}
+PASS: ./lus2lic  {-2c complex.lus -n complex}
+PASS: ./lus2lic  {-2c call.lus -n call}
+PASS: ./lus2lic  {-2c compteur.lus -n compteur}
 PASS: gcc -o compteur.exec compteur_compteur.c compteur_compteur_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c compteur.lus 
-PASS: ./lus2lic {-2c carV2.lus -n carV2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c compteur.lus  {}
+PASS: ./lus2lic  {-2c carV2.lus -n carV2}
 PASS: gcc -o carV2.exec carV2_carV2.c carV2_carV2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carV2.lus 
-PASS: ./lus2lic {-2c cpt.lus -n cpt}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carV2.lus  {}
+PASS: ./lus2lic  {-2c cpt.lus -n cpt}
 PASS: gcc -o cpt.exec cpt_cpt.c cpt_cpt_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cpt.lus 
-PASS: ./lus2lic {-2c consensus.lus -n consensus}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cpt.lus  {}
+PASS: ./lus2lic  {-2c consensus.lus -n consensus}
 PASS: gcc -o consensus.exec consensus_consensus.c consensus_consensus_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus.lus 
-PASS: ./lus2lic {-2c contractForElementSelectionInArray.lus -n contractForElementSelectionInArray}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus.lus  {}
+PASS: ./lus2lic  {-2c contractForElementSelectionInArray.lus -n contractForElementSelectionInArray}
 PASS: gcc -o contractForElementSelectionInArray.exec contractForElementSelectionInArray_contractForElementSelectionInArray.c contractForElementSelectionInArray_contractForElementSelectionInArray_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c contractForElementSelectionInArray.lus 
-PASS: ./lus2lic {-2c call01.lus -n call01}
-PASS: gcc -o call01.exec call01_call01.c call01_call01_loop.c 
-PASS: ./lus2lic {-2c ck4.lus -n ck4}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c contractForElementSelectionInArray.lus  {}
+PASS: ./lus2lic  {-2c call01.lus -n call01}
+PASS: ./lus2lic  {-2c ck4.lus -n ck4}
 PASS: gcc -o ck4.exec ck4_ck4.c ck4_ck4_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck4.lus 
-PASS: ./lus2lic {-2c ck3.lus -n ck3}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck4.lus  {}
+PASS: ./lus2lic  {-2c ck3.lus -n ck3}
 PASS: gcc -o ck3.exec ck3_ck3.c ck3_ck3_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck3.lus 
-PASS: ./lus2lic {-2c call02.lus -n call02}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck3.lus  {}
+PASS: ./lus2lic  {-2c call02.lus -n call02}
 PASS: gcc -o call02.exec call02_call02.c call02_call02_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call02.lus 
-PASS: ./lus2lic {-2c ck7.lus -n ck7}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call02.lus  {}
+PASS: ./lus2lic  {-2c ck7.lus -n ck7}
 PASS: gcc -o ck7.exec ck7_ck7.c ck7_ck7_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck7.lus 
-FAIL: Generate c code  : ./lus2lic {-2c cond01.lus -n cond01}
-PASS: ./lus2lic {-2c call03.lus -n call03}
-PASS: gcc -o call03.exec call03_call03.c call03_call03_loop.c 
-PASS: ./lus2lic {-2c count.lus -n count}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck7.lus  {}
+FAIL: Generate c code  : ./lus2lic  {-2c cond01.lus -n cond01}
+PASS: ./lus2lic  {-2c call03.lus -n call03}
+PASS: ./lus2lic  {-2c count.lus -n count}
 PASS: gcc -o count.exec count_count.c count_count_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c count.lus 
-PASS: ./lus2lic {-2c ck2.lus -n ck2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c count.lus  {}
+PASS: ./lus2lic  {-2c ck2.lus -n ck2}
 PASS: gcc -o ck2.exec ck2_ck2.c ck2_ck2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck2.lus 
-PASS: ./lus2lic {-2c clock1_2ms.lus -n clock1_2ms}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck2.lus  {}
+PASS: ./lus2lic  {-2c clock1_2ms.lus -n clock1_2ms}
 PASS: gcc -o clock1_2ms.exec clock1_2ms_clock1_2ms.c clock1_2ms_clock1_2ms_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock1_2ms.lus 
-PASS: ./lus2lic {-2c dep.lus -n dep}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock1_2ms.lus  {}
+PASS: ./lus2lic  {-2c dep.lus -n dep}
 PASS: gcc -o dep.exec dep_dep.c dep_dep_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dep.lus 
-PASS: ./lus2lic {-2c dependeur.lus -n dependeur}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dep.lus  {}
+PASS: ./lus2lic  {-2c dependeur.lus -n dependeur}
 PASS: gcc -o dependeur.exec dependeur_dependeur.c dependeur_dependeur_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur.lus 
-PASS: ./lus2lic {-2c deSimone.lus -n deSimone}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur.lus  {}
+PASS: ./lus2lic  {-2c deSimone.lus -n deSimone}
 PASS: gcc -o deSimone.exec deSimone_deSimone.c deSimone_deSimone_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus 
-PASS: ./lus2lic {-2c double_delay.lus -n double_delay}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus  {}
+PASS: ./lus2lic  {-2c double_delay.lus -n double_delay}
 PASS: gcc -o double_delay.exec double_delay_double_delay.c double_delay_double_delay_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c double_delay.lus 
-PASS: ./lus2lic {-2c deconne.lus -n deconne}
-PASS: gcc -o deconne.exec deconne_deconne.c deconne_deconne_ext.c deconne_deconne_loop.c 
-PASS: ./lus2lic {-2c declaration.lus -n declaration}
-PASS: gcc -o declaration.exec declaration_declaration.c declaration_declaration_loop.c 
-PASS: ./lus2lic {-2c dependeur_struct.lus -n dependeur_struct}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c double_delay.lus  {}
+PASS: ./lus2lic  {-2c deconne.lus -n deconne}
+PASS: ./lus2lic  {-2c declaration.lus -n declaration}
+PASS: ./lus2lic  {-2c dependeur_struct.lus -n dependeur_struct}
 PASS: gcc -o dependeur_struct.exec dependeur_struct_dependeur_struct.c dependeur_struct_dependeur_struct_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur_struct.lus 
-PASS: ./lus2lic {-2c decl.lus -n decl}
-FAIL: Check that the generated C code compiles  : gcc -o decl.exec decl_decl.c decl_decl_ext.c decl_decl_loop.c 
-PASS: ./lus2lic {-2c enum0.lus -n enum0}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur_struct.lus  {}
+PASS: ./lus2lic  {-2c decl.lus -n decl}
+PASS: ./lus2lic  {-2c enum0.lus -n enum0}
 PASS: gcc -o enum0.exec enum0_enum0.c enum0_enum0_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c enum0.lus 
-PASS: ./lus2lic {-2c ec.lus -n ec}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c enum0.lus  {}
+PASS: ./lus2lic  {-2c ec.lus -n ec}
 PASS: gcc -o ec.exec ec_ec.c ec_ec_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ec.lus 
-PASS: ./lus2lic {-2c exclusion.lus -n exclusion}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ec.lus  {}
+PASS: ./lus2lic  {-2c exclusion.lus -n exclusion}
 PASS: gcc -o exclusion.exec exclusion_exclusion.c exclusion_exclusion_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus 
-PASS: ./lus2lic {-2c ex.lus -n ex}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus  {}
+PASS: ./lus2lic  {-2c ex.lus -n ex}
 PASS: gcc -o ex.exec ex_ex.c ex_ex_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ex.lus 
-FAIL: Generate c code  : ./lus2lic {-2c filter.lus -n filter}
-PASS: ./lus2lic {-2c fresh_name.lus -n fresh_name}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ex.lus  {}
+FAIL: Generate c code  : ./lus2lic  {-2c filter.lus -n filter}
+PASS: ./lus2lic  {-2c fresh_name.lus -n fresh_name}
 PASS: gcc -o fresh_name.exec fresh_name_fresh_name.c fresh_name_fresh_name_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c fresh_name.lus 
-PASS: ./lus2lic {-2c filliter.lus -n filliter}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c fresh_name.lus  {}
+PASS: ./lus2lic  {-2c filliter.lus -n filliter}
 PASS: gcc -o filliter.exec filliter_filliter.c filliter_filliter_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus 
-PASS: ./lus2lic {-2c followed_by.lus -n followed_by}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus  {}
+PASS: ./lus2lic  {-2c followed_by.lus -n followed_by}
 PASS: gcc -o followed_by.exec followed_by_followed_by.c followed_by_followed_by_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c followed_by.lus 
-PASS: ./lus2lic {-2c flo.lus -n flo}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c followed_by.lus  {}
+PASS: ./lus2lic  {-2c flo.lus -n flo}
 PASS: gcc -o flo.exec flo_flo.c flo_flo_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c flo.lus 
-PASS: ./lus2lic {-2c func_with_body.lus -n func_with_body}
-PASS: gcc -o func_with_body.exec func_with_body_func_with_body.c func_with_body_func_with_body_loop.c 
-PASS: ./lus2lic {-2c heater_control.lus -n heater_control}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c flo.lus  {}
+PASS: ./lus2lic  {-2c func_with_body.lus -n func_with_body}
+PASS: ./lus2lic  {-2c heater_control.lus -n heater_control}
 PASS: gcc -o heater_control.exec heater_control_heater_control.c heater_control_heater_control_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c heater_control.lus 
-PASS: ./lus2lic {-2c hanane.lus -n hanane}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c heater_control.lus  {}
+PASS: ./lus2lic  {-2c hanane.lus -n hanane}
 PASS: gcc -o hanane.exec hanane_hanane.c hanane_hanane_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c hanane.lus 
-PASS: ./lus2lic {-2c iter.lus -n iter}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c hanane.lus  {}
+PASS: ./lus2lic  {-2c iter.lus -n iter}
 PASS: gcc -o iter.exec iter_iter.c iter_iter_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus 
-PASS: ./lus2lic {-2c is_stable.lus -n is_stable}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus  {}
+PASS: ./lus2lic  {-2c is_stable.lus -n is_stable}
 PASS: gcc -o is_stable.exec is_stable_is_stable.c is_stable_is_stable_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus 
-PASS: ./lus2lic {-2c integrator.lus -n integrator}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus  {}
+PASS: ./lus2lic  {-2c integrator.lus -n integrator}
 PASS: gcc -o integrator.exec integrator_integrator.c integrator_integrator_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c integrator.lus 
-PASS: ./lus2lic {-2c initial.lus -n initial}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c integrator.lus  {}
+PASS: ./lus2lic  {-2c initial.lus -n initial}
 PASS: gcc -o initial.exec initial_initial.c initial_initial_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c initial.lus 
-PASS: ./lus2lic {-2c impl_priority.lus -n impl_priority}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c initial.lus  {}
+PASS: ./lus2lic  {-2c impl_priority.lus -n impl_priority}
 PASS: gcc -o impl_priority.exec impl_priority_impl_priority.c impl_priority_impl_priority_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c impl_priority.lus 
-PASS: ./lus2lic {-2c import1.lus -n import1}
-FAIL: Check that the generated C code compiles  : gcc -o import1.exec import1_import1.c import1_import1_ext.c import1_import1_loop.c 
-PASS: ./lus2lic {-2c iterFibo.lus -n iterFibo}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c impl_priority.lus  {}
+PASS: ./lus2lic  {-2c import1.lus -n import1}
+PASS: ./lus2lic  {-2c iterFibo.lus -n iterFibo}
 PASS: gcc -o iterFibo.exec iterFibo_iterFibo.c iterFibo_iterFibo_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus 
-PASS: ./lus2lic {-2c iterate.lus -n iterate}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus  {}
+PASS: ./lus2lic  {-2c iterate.lus -n iterate}
 PASS: gcc -o iterate.exec iterate_iterate.c iterate_iterate_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus 
-PASS: ./lus2lic {-2c lucky.lus -n lucky}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus  {}
+PASS: ./lus2lic  {-2c lucky.lus -n lucky}
 PASS: gcc -o lucky.exec lucky_lucky.c lucky_lucky_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lucky.lus 
-PASS: ./lus2lic {-2c lustre_test1_ok.lus -n lustre_test1_ok}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lucky.lus  {}
+PASS: ./lus2lic  {-2c lustre_test1_ok.lus -n lustre_test1_ok}
 PASS: gcc -o lustre_test1_ok.exec lustre_test1_ok_lustre_test1_ok.c lustre_test1_ok_lustre_test1_ok_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lustre_test1_ok.lus 
-PASS: ./lus2lic {-2c long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lustre_test1_ok.lus  {}
+PASS: ./lus2lic  {-2c long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud}
 PASS: gcc -o long_et_stupide_nom_de_noeud.exec long_et_stupide_nom_de_noeud_long_et_stupide_nom_de_noeud.c long_et_stupide_nom_de_noeud_long_et_stupide_nom_de_noeud_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c long_et_stupide_nom_de_noeud.lus 
-FAIL: Generate c code  : ./lus2lic {-2c left.lus -n left}
-PASS: ./lus2lic {-2c lustre.lus -n lustre}
-PASS: ./lus2lic {-2c mouse2.lus -n mouse2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c long_et_stupide_nom_de_noeud.lus  {}
+FAIL: Generate c code  : ./lus2lic  {-2c left.lus -n left}
+PASS: ./lus2lic  {-2c lustre.lus -n lustre}
+PASS: ./lus2lic  {-2c mouse2.lus -n mouse2}
 PASS: gcc -o mouse2.exec mouse2_mouse2.c mouse2_mouse2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse2.lus 
-PASS: ./lus2lic {-2c mappredef.lus -n mappredef}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse2.lus  {}
+PASS: ./lus2lic  {-2c mappredef.lus -n mappredef}
 PASS: gcc -o mappredef.exec mappredef_mappredef.c mappredef_mappredef_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus 
-PASS: ./lus2lic {-2c mm.lus -n mm}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus  {}
+PASS: ./lus2lic  {-2c mm.lus -n mm}
 PASS: gcc -o mm.exec mm_mm.c mm_mm_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus 
-PASS: ./lus2lic {-2c minmax5.lus -n minmax5}
-PASS: gcc -o minmax5.exec minmax5_minmax5.c minmax5_minmax5_ext.c minmax5_minmax5_loop.c 
-PASS: ./lus2lic {-2c mm1.lus -n mm1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus  {}
+PASS: ./lus2lic  {-2c minmax5.lus -n minmax5}
+PASS: ./lus2lic  {-2c mm1.lus -n mm1}
 PASS: gcc -o mm1.exec mm1_mm1.c mm1_mm1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm1.lus 
-PASS: ./lus2lic {-2c minmax5_random.lus -n minmax5_random}
-PASS: gcc -o minmax5_random.exec minmax5_random_minmax5_random.c minmax5_random_minmax5_random_ext.c minmax5_random_minmax5_random_loop.c 
-PASS: ./lus2lic {-2c matrice2.lus -n matrice2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm1.lus  {}
+PASS: ./lus2lic  {-2c minmax5_random.lus -n minmax5_random}
+PASS: ./lus2lic  {-2c matrice2.lus -n matrice2}
 PASS: gcc -o matrice2.exec matrice2_matrice2.c matrice2_matrice2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus 
-PASS: ./lus2lic {-2c mm22.lus -n mm22}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus  {}
+PASS: ./lus2lic  {-2c mm22.lus -n mm22}
 PASS: gcc -o mm22.exec mm22_mm22.c mm22_mm22_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm22.lus 
-PASS: ./lus2lic {-2c model2.lus -n model2}
-PASS: ./lus2lic {-2c modes3x2_v2.lus -n modes3x2_v2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm22.lus  {}
+PASS: ./lus2lic  {-2c model2.lus -n model2}
+PASS: ./lus2lic  {-2c modes3x2_v2.lus -n modes3x2_v2}
 PASS: gcc -o modes3x2_v2.exec modes3x2_v2_modes3x2_v2.c modes3x2_v2_modes3x2_v2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v2.lus 
-PASS: ./lus2lic {-2c minmax3.lus -n minmax3}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v2.lus  {}
+PASS: ./lus2lic  {-2c minmax3.lus -n minmax3}
 PASS: gcc -o minmax3.exec minmax3_minmax3.c minmax3_minmax3_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax3.lus 
-FAIL: Generate c code  : ./lus2lic {-2c morel3.lus -n morel3}
-PASS: ./lus2lic {-2c minmax2.lus -n minmax2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax3.lus  {}
+FAIL: Generate c code  : ./lus2lic  {-2c morel3.lus -n morel3}
+PASS: ./lus2lic  {-2c minmax2.lus -n minmax2}
 PASS: gcc -o minmax2.exec minmax2_minmax2.c minmax2_minmax2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax2.lus 
-PASS: ./lus2lic {-2c morel5.lus -n morel5}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax2.lus  {}
+PASS: ./lus2lic  {-2c morel5.lus -n morel5}
 PASS: gcc -o morel5.exec morel5_morel5.c morel5_morel5_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c morel5.lus 
-FAIL: Generate c code  : ./lus2lic {-2c morel4.lus -n morel4}
-PASS: ./lus2lic {-2c mouse.lus -n mouse}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c morel5.lus  {}
+FAIL: Generate c code  : ./lus2lic  {-2c morel4.lus -n morel4}
+PASS: ./lus2lic  {-2c mouse.lus -n mouse}
 PASS: gcc -o mouse.exec mouse_mouse.c mouse_mouse_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse.lus 
-PASS: ./lus2lic {-2c mapinf.lus -n mapinf}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse.lus  {}
+PASS: ./lus2lic  {-2c mapinf.lus -n mapinf}
 PASS: gcc -o mapinf.exec mapinf_mapinf.c mapinf_mapinf_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus 
-PASS: ./lus2lic {-2c mm3.lus -n mm3}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus  {}
+PASS: ./lus2lic  {-2c mm3.lus -n mm3}
 PASS: gcc -o mm3.exec mm3_mm3.c mm3_mm3_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm3.lus 
-PASS: ./lus2lic {-2c mouse1.lus -n mouse1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm3.lus  {}
+PASS: ./lus2lic  {-2c mouse1.lus -n mouse1}
 PASS: gcc -o mouse1.exec mouse1_mouse1.c mouse1_mouse1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse1.lus 
-PASS: ./lus2lic {-2c multiclock.lus -n multiclock}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse1.lus  {}
+PASS: ./lus2lic  {-2c multiclock.lus -n multiclock}
 PASS: gcc -o multiclock.exec multiclock_multiclock.c multiclock_multiclock_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus 
-FAIL: Generate c code  : ./lus2lic {-2c morel.lus -n morel}
-PASS: ./lus2lic {-2c model.lus -n model}
-PASS: ./lus2lic {-2c matrice.lus -n matrice}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus  {}
+FAIL: Generate c code  : ./lus2lic  {-2c morel.lus -n morel}
+PASS: ./lus2lic  {-2c model.lus -n model}
+PASS: ./lus2lic  {-2c matrice.lus -n matrice}
 PASS: gcc -o matrice.exec matrice_matrice.c matrice_matrice_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus 
-PASS: ./lus2lic {-2c multipar.lus -n multipar}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus  {}
+PASS: ./lus2lic  {-2c multipar.lus -n multipar}
 PASS: gcc -o multipar.exec multipar_multipar.c multipar_multipar_loop.c 
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 
-FAIL: Generate c code  : ./lus2lic {-2c morel2.lus -n morel2}
-PASS: ./lus2lic {-2c minmax1.lus -n minmax1}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus  {}
+FAIL: Generate c code  : ./lus2lic  {-2c morel2.lus -n morel2}
+PASS: ./lus2lic  {-2c minmax1.lus -n minmax1}
 PASS: gcc -o minmax1.exec minmax1_minmax1.c minmax1_minmax1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus 
-PASS: ./lus2lic {-2c mouse3.lus -n mouse3}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus  {}
+PASS: ./lus2lic  {-2c mouse3.lus -n mouse3}
 PASS: gcc -o mouse3.exec mouse3_mouse3.c mouse3_mouse3_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus 
-PASS: ./lus2lic {-2c moyenne.lus -n moyenne}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus  {}
+PASS: ./lus2lic  {-2c moyenne.lus -n moyenne}
 PASS: gcc -o moyenne.exec moyenne_moyenne.c moyenne_moyenne_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus 
-PASS: ./lus2lic {-2c map_red_iter.lus -n map_red_iter}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus  {}
+PASS: ./lus2lic  {-2c map_red_iter.lus -n map_red_iter}
 PASS: gcc -o map_red_iter.exec map_red_iter_map_red_iter.c map_red_iter_map_red_iter_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map_red_iter.lus 
-PASS: ./lus2lic {-2c minmax4.lus -n minmax4}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map_red_iter.lus  {}
+PASS: ./lus2lic  {-2c minmax4.lus -n minmax4}
 PASS: gcc -o minmax4.exec minmax4_minmax4.c minmax4_minmax4_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4.lus 
-PASS: ./lus2lic {-2c mapdeRed.lus -n mapdeRed}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4.lus  {}
+PASS: ./lus2lic  {-2c mapdeRed.lus -n mapdeRed}
 PASS: gcc -o mapdeRed.exec mapdeRed_mapdeRed.c mapdeRed_mapdeRed_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus 
-PASS: ./lus2lic {-2c modelInst.lus -n modelInst}
-PASS: ./lus2lic {-2c minmax4_bis.lus -n minmax4_bis}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus  {}
+PASS: ./lus2lic  {-2c modelInst.lus -n modelInst}
+PASS: ./lus2lic  {-2c minmax4_bis.lus -n minmax4_bis}
 PASS: gcc -o minmax4_bis.exec minmax4_bis_minmax4_bis.c minmax4_bis_minmax4_bis_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4_bis.lus 
-PASS: ./lus2lic {-2c modes3x2_v4.lus -n modes3x2_v4}
-PASS: gcc -o modes3x2_v4.exec modes3x2_v4_modes3x2_v4.c modes3x2_v4_modes3x2_v4_ext.c modes3x2_v4_modes3x2_v4_loop.c 
-PASS: ./lus2lic {-2c modes3x2_v3.lus -n modes3x2_v3}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4_bis.lus  {}
+PASS: ./lus2lic  {-2c modes3x2_v4.lus -n modes3x2_v4}
+PASS: ./lus2lic  {-2c modes3x2_v3.lus -n modes3x2_v3}
 PASS: gcc -o modes3x2_v3.exec modes3x2_v3_modes3x2_v3.c modes3x2_v3_modes3x2_v3_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v3.lus 
-PASS: ./lus2lic {-2c minmax6.lus -n minmax6}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v3.lus  {}
+PASS: ./lus2lic  {-2c minmax6.lus -n minmax6}
 PASS: gcc -o minmax6.exec minmax6_minmax6.c minmax6_minmax6_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus 
-PASS: ./lus2lic {-2c mapiter.lus -n mapiter}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus  {}
+PASS: ./lus2lic  {-2c mapiter.lus -n mapiter}
 PASS: gcc -o mapiter.exec mapiter_mapiter.c mapiter_mapiter_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapiter.lus 
-FAIL: Generate c code  : ./lus2lic {-2c modes3x2-simu.lus -n modes3x2-simu}
-PASS: ./lus2lic {-2c minus.lus -n minus}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapiter.lus  {}
+PASS: ./lus2lic  {-2c minus.lus -n minus}
 PASS: gcc -o minus.exec minus_minus.c minus_minus_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus 
-PASS: ./lus2lic {-2c COUNTER.lus -n COUNTER}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus  {}
+PASS: ./lus2lic  {-2c COUNTER.lus -n COUNTER}
 PASS: gcc -o COUNTER.exec COUNTER_COUNTER.c COUNTER_COUNTER_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c COUNTER.lus 
-PASS: ./lus2lic {-2c CURRENT.lus -n CURRENT}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c COUNTER.lus  {}
+PASS: ./lus2lic  {-2c CURRENT.lus -n CURRENT}
 PASS: gcc -o CURRENT.exec CURRENT_CURRENT.c CURRENT_CURRENT_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c CURRENT.lus 
-PASS: ./lus2lic {-2c Condact.lus -n Condact}
-PASS: ./lus2lic {-2c ELMU.lus -n ELMU}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c CURRENT.lus  {}
+PASS: ./lus2lic  {-2c Condact.lus -n Condact}
+PASS: ./lus2lic  {-2c ELMU.lus -n ELMU}
 PASS: gcc -o ELMU.exec ELMU_ELMU.c ELMU_ELMU_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ELMU.lus 
-PASS: ./lus2lic {-2c EDGE.lus -n EDGE}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ELMU.lus  {}
+PASS: ./lus2lic  {-2c EDGE.lus -n EDGE}
 PASS: gcc -o EDGE.exec EDGE_EDGE.c EDGE_EDGE_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c EDGE.lus 
-PASS: ./lus2lic {-2c FALLING_EDGE.lus -n FALLING_EDGE}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c EDGE.lus  {}
+PASS: ./lus2lic  {-2c FALLING_EDGE.lus -n FALLING_EDGE}
 PASS: gcc -o FALLING_EDGE.exec FALLING_EDGE_FALLING_EDGE.c FALLING_EDGE_FALLING_EDGE_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus 
-PASS: ./lus2lic {-2c FillFollowedByRed.lus -n FillFollowedByRed}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus  {}
+PASS: ./lus2lic  {-2c FillFollowedByRed.lus -n FillFollowedByRed}
 PASS: gcc -o FillFollowedByRed.exec FillFollowedByRed_FillFollowedByRed.c FillFollowedByRed_FillFollowedByRed_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus 
-PASS: ./lus2lic {-2c Gyroscope2.lus -n Gyroscope2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus  {}
+PASS: ./lus2lic  {-2c Gyroscope2.lus -n Gyroscope2}
 PASS: gcc -o Gyroscope2.exec Gyroscope2_Gyroscope2.c Gyroscope2_Gyroscope2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus 
-PASS: ./lus2lic {-2c Gyroscope.lus -n Gyroscope}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus  {}
+PASS: ./lus2lic  {-2c Gyroscope.lus -n Gyroscope}
 PASS: gcc -o Gyroscope.exec Gyroscope_Gyroscope.c Gyroscope_Gyroscope_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus 
-PASS: ./lus2lic {-2c Int.lus -n Int}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus  {}
+PASS: ./lus2lic  {-2c Int.lus -n Int}
 
 ==> lus2lic2.sum <==
-Test Run By jahier on Tue Aug 26 18:04:51 
+Test Run By jahier on Wed Aug 27 11:09:38 
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic2 tests ===
@@ -425,320 +412,315 @@ Schedule of variations:
 
 Running target unix
 Running ./lus2lic.tests/test2.exp ...
-PASS: ./lus2lic {-2c nc6.lus -n nc6}
+PASS: ./lus2lic  {-2c nc6.lus -n nc6}
 PASS: gcc -o nc6.exec nc6_nc6.c nc6_nc6_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc6.lus 
-PASS: ./lus2lic {-2c normal.lus -n normal}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc6.lus  {}
+PASS: ./lus2lic  {-2c normal.lus -n normal}
 PASS: gcc -o normal.exec normal_normal.c normal_normal_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c normal.lus 
-PASS: ./lus2lic {-2c nodeparam.lus -n nodeparam}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c normal.lus  {}
+PASS: ./lus2lic  {-2c nodeparam.lus -n nodeparam}
 PASS: gcc -o nodeparam.exec nodeparam_nodeparam.c nodeparam_nodeparam_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nodeparam.lus 
-PASS: ./lus2lic {-2c nc7.lus -n nc7}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nodeparam.lus  {}
+PASS: ./lus2lic  {-2c nc7.lus -n nc7}
 PASS: gcc -o nc7.exec nc7_nc7.c nc7_nc7_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc7.lus 
-PASS: ./lus2lic {-2c nc9.lus -n nc9}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc7.lus  {}
+PASS: ./lus2lic  {-2c nc9.lus -n nc9}
 PASS: gcc -o nc9.exec nc9_nc9.c nc9_nc9_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc9.lus 
-PASS: ./lus2lic {-2c nc8.lus -n nc8}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc9.lus  {}
+PASS: ./lus2lic  {-2c nc8.lus -n nc8}
 PASS: gcc -o nc8.exec nc8_nc8.c nc8_nc8_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc8.lus 
-PASS: ./lus2lic {-2c node_caller1.lus -n node_caller1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc8.lus  {}
+PASS: ./lus2lic  {-2c node_caller1.lus -n node_caller1}
 PASS: gcc -o node_caller1.exec node_caller1_node_caller1.c node_caller1_node_caller1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c node_caller1.lus 
-PASS: ./lus2lic {-2c nc1.lus -n nc1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c node_caller1.lus  {}
+PASS: ./lus2lic  {-2c nc1.lus -n nc1}
 PASS: gcc -o nc1.exec nc1_nc1.c nc1_nc1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc1.lus 
-PASS: ./lus2lic {-2c newpacks.lus -n newpacks}
-PASS: ./lus2lic {-2c noAlarm.lus -n noAlarm}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc1.lus  {}
+PASS: ./lus2lic  {-2c newpacks.lus -n newpacks}
+PASS: ./lus2lic  {-2c noAlarm.lus -n noAlarm}
 PASS: gcc -o noAlarm.exec noAlarm_noAlarm.c noAlarm_noAlarm_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noAlarm.lus 
-PASS: ./lus2lic {-2c noeudsIndependants.lus -n noeudsIndependants}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noAlarm.lus  {}
+PASS: ./lus2lic  {-2c noeudsIndependants.lus -n noeudsIndependants}
 PASS: gcc -o noeudsIndependants.exec noeudsIndependants_noeudsIndependants.c noeudsIndependants_noeudsIndependants_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noeudsIndependants.lus 
-PASS: ./lus2lic {-2c nc4.lus -n nc4}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noeudsIndependants.lus  {}
+PASS: ./lus2lic  {-2c nc4.lus -n nc4}
 PASS: gcc -o nc4.exec nc4_nc4.c nc4_nc4_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc4.lus 
-PASS: ./lus2lic {-2c nc5.lus -n nc5}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc4.lus  {}
+PASS: ./lus2lic  {-2c nc5.lus -n nc5}
 PASS: gcc -o nc5.exec nc5_nc5.c nc5_nc5_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc5.lus 
-PASS: ./lus2lic {-2c nc2.lus -n nc2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc5.lus  {}
+PASS: ./lus2lic  {-2c nc2.lus -n nc2}
 PASS: gcc -o nc2.exec nc2_nc2.c nc2_nc2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc2.lus 
-PASS: ./lus2lic {-2c notTwo.lus -n notTwo}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc2.lus  {}
+PASS: ./lus2lic  {-2c notTwo.lus -n notTwo}
 PASS: gcc -o notTwo.exec notTwo_notTwo.c notTwo_notTwo_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c notTwo.lus 
-PASS: ./lus2lic {-2c nested.lus -n nested}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c notTwo.lus  {}
+PASS: ./lus2lic  {-2c nested.lus -n nested}
 PASS: gcc -o nested.exec nested_nested.c nested_nested_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nested.lus 
-PASS: ./lus2lic {-2c nc10.lus -n nc10}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nested.lus  {}
+PASS: ./lus2lic  {-2c nc10.lus -n nc10}
 PASS: gcc -o nc10.exec nc10_nc10.c nc10_nc10_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc10.lus 
-PASS: ./lus2lic {-2c nc3.lus -n nc3}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc10.lus  {}
+PASS: ./lus2lic  {-2c nc3.lus -n nc3}
 PASS: gcc -o nc3.exec nc3_nc3.c nc3_nc3_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc3.lus 
-PASS: ./lus2lic {-2c onlyroll2.lus -n onlyroll2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc3.lus  {}
+PASS: ./lus2lic  {-2c onlyroll2.lus -n onlyroll2}
 PASS: gcc -o onlyroll2.exec onlyroll2_onlyroll2.c onlyroll2_onlyroll2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll2.lus 
-PASS: ./lus2lic {-2c onlyroll.lus -n onlyroll}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll2.lus  {}
+PASS: ./lus2lic  {-2c onlyroll.lus -n onlyroll}
 PASS: gcc -o onlyroll.exec onlyroll_onlyroll.c onlyroll_onlyroll_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll.lus 
-PASS: ./lus2lic {-2c over2.lus -n over2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll.lus  {}
+PASS: ./lus2lic  {-2c over2.lus -n over2}
 PASS: gcc -o over2.exec over2_over2.c over2_over2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over2.lus 
-PASS: ./lus2lic {-2c over3.lus -n over3}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over2.lus  {}
+PASS: ./lus2lic  {-2c over3.lus -n over3}
 PASS: gcc -o over3.exec over3_over3.c over3_over3_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over3.lus 
-PASS: ./lus2lic {-2c o2l_feux_compl.lus -n o2l_feux_compl}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over3.lus  {}
+PASS: ./lus2lic  {-2c o2l_feux_compl.lus -n o2l_feux_compl}
 PASS: gcc -o o2l_feux_compl.exec o2l_feux_compl_o2l_feux_compl.c o2l_feux_compl_o2l_feux_compl_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c o2l_feux_compl.lus 
-PASS: ./lus2lic {-2c predefOp.lus -n predefOp}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c o2l_feux_compl.lus  {}
+PASS: ./lus2lic  {-2c predefOp.lus -n predefOp}
 PASS: gcc -o predefOp.exec predefOp_predefOp.c predefOp_predefOp_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus 
-PASS: ./lus2lic {-2c packageTableau.lus -n packageTableau}
-PASS: ./lus2lic {-2c predef03.lus -n predef03}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus  {}
+PASS: ./lus2lic  {-2c packageTableau.lus -n packageTableau}
+PASS: ./lus2lic  {-2c predef03.lus -n predef03}
 PASS: gcc -o predef03.exec predef03_predef03.c predef03_predef03_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus 
-PASS: ./lus2lic {-2c polymorphic_pack.lus -n polymorphic_pack}
-PASS: ./lus2lic {-2c ply03.lus -n ply03}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus  {}
+PASS: ./lus2lic  {-2c polymorphic_pack.lus -n polymorphic_pack}
+PASS: ./lus2lic  {-2c ply03.lus -n ply03}
 PASS: gcc -o ply03.exec ply03_ply03.c ply03_ply03_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply03.lus 
-PASS: ./lus2lic {-2c param_struct.lus -n param_struct}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply03.lus  {}
+PASS: ./lus2lic  {-2c param_struct.lus -n param_struct}
 PASS: gcc -o param_struct.exec param_struct_param_struct.c param_struct_param_struct_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_struct.lus 
-PASS: ./lus2lic {-2c plus.lus -n plus}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_struct.lus  {}
+PASS: ./lus2lic  {-2c plus.lus -n plus}
 PASS: gcc -o plus.exec plus_plus.c plus_plus_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus 
-PASS: ./lus2lic {-2c pilote-1.0.lus -n pilote-1.0}
-PASS: ./lus2lic {-2c packs.lus -n packs}
-PASS: ./lus2lic {-2c param_node4.lus -n param_node4}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus  {}
+PASS: ./lus2lic  {-2c pilote-1.0.lus -n pilote-1.0}
+PASS: ./lus2lic  {-2c packs.lus -n packs}
+PASS: ./lus2lic  {-2c param_node4.lus -n param_node4}
 PASS: gcc -o param_node4.exec param_node4_param_node4.c param_node4_param_node4_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node4.lus 
-PASS: ./lus2lic {-2c produitBool.lus -n produitBool}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node4.lus  {}
+PASS: ./lus2lic  {-2c produitBool.lus -n produitBool}
 PASS: gcc -o produitBool.exec produitBool_produitBool.c produitBool_produitBool_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus 
-PASS: ./lus2lic {-2c param_node3.lus -n param_node3}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus  {}
+PASS: ./lus2lic  {-2c param_node3.lus -n param_node3}
 PASS: gcc -o param_node3.exec param_node3_param_node3.c param_node3_param_node3_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node3.lus 
-PASS: ./lus2lic {-2c pipeline.lus -n pipeline}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node3.lus  {}
+PASS: ./lus2lic  {-2c pipeline.lus -n pipeline}
 PASS: gcc -o pipeline.exec pipeline_pipeline.c pipeline_pipeline_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus 
-PASS: ./lus2lic {-2c predef01.lus -n predef01}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus  {}
+PASS: ./lus2lic  {-2c predef01.lus -n predef01}
 PASS: gcc -o predef01.exec predef01_predef01.c predef01_predef01_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus 
-PASS: ./lus2lic {-2c param_node2.lus -n param_node2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus  {}
+PASS: ./lus2lic  {-2c param_node2.lus -n param_node2}
 PASS: gcc -o param_node2.exec param_node2_param_node2.c param_node2_param_node2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node2.lus 
-PASS: ./lus2lic {-2c ply01.lus -n ply01}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node2.lus  {}
+PASS: ./lus2lic  {-2c ply01.lus -n ply01}
 PASS: gcc -o ply01.exec ply01_ply01.c ply01_ply01_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply01.lus 
-PASS: ./lus2lic {-2c pack1.lus -n pack1}
-PASS: gcc -o pack1.exec pack1_pack1.c pack1_pack1_loop.c 
-PASS: ./lus2lic {-2c p.lus -n p}
-PASS: ./lus2lic {-2c pre_x.lus -n pre_x}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply01.lus  {}
+PASS: ./lus2lic  {-2c pack1.lus -n pack1}
+PASS: ./lus2lic  {-2c p.lus -n p}
+PASS: ./lus2lic  {-2c pre_x.lus -n pre_x}
 PASS: gcc -o pre_x.exec pre_x_pre_x.c pre_x_pre_x_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pre_x.lus 
-PASS: ./lus2lic {-2c packed_cst.lus -n packed_cst}
-PASS: ./lus2lic {-2c predef02.lus -n predef02}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pre_x.lus  {}
+PASS: ./lus2lic  {-2c packed_cst.lus -n packed_cst}
+PASS: ./lus2lic  {-2c predef02.lus -n predef02}
 PASS: gcc -o predef02.exec predef02_predef02.c predef02_predef02_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus 
-PASS: ./lus2lic {-2c poussoir.lus -n poussoir}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus  {}
+PASS: ./lus2lic  {-2c poussoir.lus -n poussoir}
 PASS: gcc -o poussoir.exec poussoir_poussoir.c poussoir_poussoir_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c poussoir.lus 
-PASS: ./lus2lic {-2c param_node.lus -n param_node}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c poussoir.lus  {}
+PASS: ./lus2lic  {-2c param_node.lus -n param_node}
 PASS: gcc -o param_node.exec param_node_param_node.c param_node_param_node_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node.lus 
-PASS: ./lus2lic {-2c redIf.lus -n redIf}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node.lus  {}
+PASS: ./lus2lic  {-2c redIf.lus -n redIf}
 PASS: gcc -o redIf.exec redIf_redIf.c redIf_redIf_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus 
-PASS: ./lus2lic {-2c rs.lus -n rs}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus  {}
+PASS: ./lus2lic  {-2c rs.lus -n rs}
 PASS: gcc -o rs.exec rs_rs.c rs_rs_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rs.lus 
-PASS: ./lus2lic {-2c rediter.lus -n rediter}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rs.lus  {}
+PASS: ./lus2lic  {-2c rediter.lus -n rediter}
 PASS: gcc -o rediter.exec rediter_rediter.c rediter_rediter_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus 
-PASS: ./lus2lic {-2c redoptest.lus -n redoptest}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus  {}
+PASS: ./lus2lic  {-2c redoptest.lus -n redoptest}
 PASS: gcc -o redoptest.exec redoptest_redoptest.c redoptest_redoptest_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus 
-PASS: ./lus2lic {-2c remplissage-1.0.lus -n remplissage-1.0}
-PASS: ./lus2lic {-2c struct_with.lus -n struct_with}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus  {}
+PASS: ./lus2lic  {-2c remplissage-1.0.lus -n remplissage-1.0}
+PASS: ./lus2lic  {-2c struct_with.lus -n struct_with}
 PASS: gcc -o struct_with.exec struct_with_struct_with.c struct_with_struct_with_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_with.lus 
-PASS: ./lus2lic {-2c shift_ludic.lus -n shift_ludic}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_with.lus  {}
+PASS: ./lus2lic  {-2c shift_ludic.lus -n shift_ludic}
 PASS: gcc -o shift_ludic.exec shift_ludic_shift_ludic.c shift_ludic_shift_ludic_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shift_ludic.lus 
-PASS: ./lus2lic {-2c sincos.lus -n sincos}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shift_ludic.lus  {}
+PASS: ./lus2lic  {-2c sincos.lus -n sincos}
 PASS: gcc -o sincos.exec sincos_sincos.c sincos_sincos_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus 
-PASS: ./lus2lic {-2c sample_time_change_MainNode.lus -n sample_time_change_MainNode}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus  {}
+PASS: ./lus2lic  {-2c sample_time_change_MainNode.lus -n sample_time_change_MainNode}
 PASS: gcc -o sample_time_change_MainNode.exec sample_time_change_MainNode_sample_time_change_MainNode.c sample_time_change_MainNode_sample_time_change_MainNode_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change_MainNode.lus 
-PASS: ./lus2lic {-2c stopwatch.lus -n stopwatch}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change_MainNode.lus  {}
+PASS: ./lus2lic  {-2c stopwatch.lus -n stopwatch}
 PASS: gcc -o stopwatch.exec stopwatch_stopwatch.c stopwatch_stopwatch_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c stopwatch.lus 
-PASS: ./lus2lic {-2c struct0.lus -n struct0}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c stopwatch.lus  {}
+PASS: ./lus2lic  {-2c struct0.lus -n struct0}
 PASS: gcc -o struct0.exec struct0_struct0.c struct0_struct0_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct0.lus 
-PASS: ./lus2lic {-2c simpleRed.lus -n simpleRed}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct0.lus  {}
+PASS: ./lus2lic  {-2c simpleRed.lus -n simpleRed}
 PASS: gcc -o simpleRed.exec simpleRed_simpleRed.c simpleRed_simpleRed_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus 
-PASS: ./lus2lic {-2c shiftFill_ludic.lus -n shiftFill_ludic}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus  {}
+PASS: ./lus2lic  {-2c shiftFill_ludic.lus -n shiftFill_ludic}
 PASS: gcc -o shiftFill_ludic.exec shiftFill_ludic_shiftFill_ludic.c shiftFill_ludic_shiftFill_ludic_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shiftFill_ludic.lus 
-FAIL: Generate c code  : ./lus2lic {-2c speedcontrol.lus -n speedcontrol}
-PASS: ./lus2lic {-2c simple.lus -n simple}
-FAIL: Check that the generated C code compiles  : gcc -o simple.exec simple_simple.c simple_simple_loop.c 
-PASS: ./lus2lic {-2c testPilote.lus -n testPilote}
-PASS: gcc -o testPilote.exec testPilote_testPilote.c testPilote_testPilote_loop.c 
-PASS: ./lus2lic {-2c t0.lus -n t0}
-PASS: gcc -o t0.exec t0_t0.c t0_t0_loop.c 
-PASS: ./lus2lic {-2c titi.lus -n titi}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shiftFill_ludic.lus  {}
+PASS: ./lus2lic  --expand-nodes {-2c speedcontrol.lus -n speedcontrol}
+PASS: gcc -o speedcontrol.exec speedcontrol_speedcontrol.c speedcontrol_speedcontrol_loop.c 
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c speedcontrol.lus  { --expand-nodes}
+PASS: ./lus2lic  {-2c simple.lus -n simple}
+PASS: ./lus2lic  {-2c testPilote.lus -n testPilote}
+PASS: ./lus2lic  {-2c t0.lus -n t0}
+PASS: ./lus2lic  {-2c titi.lus -n titi}
 PASS: gcc -o titi.exec titi_titi.c titi_titi_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c titi.lus 
-PASS: ./lus2lic {-2c toolate.lus -n toolate}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c titi.lus  {}
+PASS: ./lus2lic  {-2c toolate.lus -n toolate}
 PASS: gcc -o toolate.exec toolate_toolate.c toolate_toolate_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toolate.lus 
-PASS: ./lus2lic {-2c testCapt.lus -n testCapt}
-PASS: gcc -o testCapt.exec testCapt_testCapt.c testCapt_testCapt_loop.c 
-PASS: ./lus2lic {-2c t1.lus -n t1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toolate.lus  {}
+PASS: ./lus2lic  {-2c testCapt.lus -n testCapt}
+PASS: ./lus2lic  {-2c t1.lus -n t1}
 PASS: gcc -o t1.exec t1_t1.c t1_t1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t1.lus 
-PASS: ./lus2lic {-2c test_poly.lus -n test_poly}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t1.lus  {}
+PASS: ./lus2lic  {-2c test_poly.lus -n test_poly}
 PASS: gcc -o test_poly.exec test_poly_test_poly.c test_poly_test_poly_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_poly.lus 
-PASS: ./lus2lic {-2c testBoite.lus -n testBoite}
-PASS: ./lus2lic {-2c test_node_expand2.lus -n test_node_expand2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_poly.lus  {}
+PASS: ./lus2lic  {-2c testBoite.lus -n testBoite}
+PASS: ./lus2lic  {-2c test_node_expand2.lus -n test_node_expand2}
 PASS: gcc -o test_node_expand2.exec test_node_expand2_test_node_expand2.c test_node_expand2_test_node_expand2_loop.c 
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand2.lus 
-PASS: ./lus2lic {-2c test.lus -n test}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand2.lus  {}
+PASS: ./lus2lic  {-2c test.lus -n test}
 PASS: gcc -o test.exec test_test.c test_test_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test.lus 
-PASS: ./lus2lic {-2c test_node_expand.lus -n test_node_expand}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test.lus  {}
+PASS: ./lus2lic  {-2c test_node_expand.lus -n test_node_expand}
 PASS: gcc -o test_node_expand.exec test_node_expand_test_node_expand.c test_node_expand_test_node_expand_loop.c 
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand.lus 
-PASS: ./lus2lic {-2c test_clash.lus -n test_clash}
-PASS: ./lus2lic {-2c trivial.lus -n trivial}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand.lus  {}
+PASS: ./lus2lic  {-2c test_clash.lus -n test_clash}
+PASS: ./lus2lic  {-2c trivial.lus -n trivial}
 PASS: gcc -o trivial.exec trivial_trivial.c trivial_trivial_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus 
-PASS: ./lus2lic {-2c test_diese.lus -n test_diese}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus  {}
+PASS: ./lus2lic  {-2c test_diese.lus -n test_diese}
 PASS: gcc -o test_diese.exec test_diese_test_diese.c test_diese_test_diese_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_diese.lus 
-PASS: ./lus2lic {-2c tri.lus -n tri}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_diese.lus  {}
+PASS: ./lus2lic  {-2c tri.lus -n tri}
 PASS: gcc -o tri.exec tri_tri.c tri_tri_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus 
-PASS: ./lus2lic {-2c testCA.lus -n testCA}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus  {}
+PASS: ./lus2lic  {-2c testCA.lus -n testCA}
 PASS: gcc -o testCA.exec testCA_testCA.c testCA_testCA_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c testCA.lus 
-PASS: ./lus2lic {-2c test_extern.lus -n test_extern}
-PASS: gcc -o test_extern.exec test_extern_test_extern.c test_extern_test_extern_ext.c test_extern_test_extern_loop.c 
-PASS: ./lus2lic {-2c trivial_array.lus -n trivial_array}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c testCA.lus  {}
+PASS: ./lus2lic  {-2c test_extern.lus -n test_extern}
+PASS: ./lus2lic  {-2c trivial_array.lus -n trivial_array}
 PASS: gcc -o trivial_array.exec trivial_array_trivial_array.c trivial_array_trivial_array_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial_array.lus 
-PASS: ./lus2lic {-2c t2.lus -n t2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial_array.lus  {}
+PASS: ./lus2lic  {-2c t2.lus -n t2}
 PASS: gcc -o t2.exec t2_t2.c t2_t2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t2.lus 
-PASS: ./lus2lic {-2c test_const.lus -n test_const}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t2.lus  {}
+PASS: ./lus2lic  {-2c test_const.lus -n test_const}
 PASS: gcc -o test_const.exec test_const_test_const.c test_const_test_const_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_const.lus 
-PASS: ./lus2lic {-2c test_merge.lus -n test_merge}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_const.lus  {}
+PASS: ./lus2lic  {-2c test_merge.lus -n test_merge}
 PASS: gcc -o test_merge.exec test_merge_test_merge.c test_merge_test_merge_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_merge.lus 
-PASS: ./lus2lic {-2c test_enum.lus -n test_enum}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_merge.lus  {}
+PASS: ./lus2lic  {-2c test_enum.lus -n test_enum}
 PASS: gcc -o test_enum.exec test_enum_test_enum.c test_enum_test_enum_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_enum.lus 
-PASS: ./lus2lic {-2c ts04.lus -n ts04}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_enum.lus  {}
+PASS: ./lus2lic  {-2c ts04.lus -n ts04}
 PASS: gcc -o ts04.exec ts04_ts04.c ts04_ts04_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts04.lus 
-PASS: ./lus2lic {-2c test_arrow.lus -n test_arrow}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts04.lus  {}
+PASS: ./lus2lic  {-2c test_arrow.lus -n test_arrow}
 PASS: gcc -o test_arrow.exec test_arrow_test_arrow.c test_arrow_test_arrow_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_arrow.lus 
-PASS: ./lus2lic {-2c type_decl.lus -n type_decl}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_arrow.lus  {}
+PASS: ./lus2lic  {-2c type_decl.lus -n type_decl}
 PASS: gcc -o type_decl.exec type_decl_type_decl.c type_decl_type_decl_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c type_decl.lus 
-PASS: ./lus2lic {-2c test_condact.lus -n test_condact}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c type_decl.lus  {}
+PASS: ./lus2lic  {-2c test_condact.lus -n test_condact}
 PASS: gcc -o test_condact.exec test_condact_test_condact.c test_condact_test_condact_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_condact.lus 
-PASS: ./lus2lic {-2c test_map.lus -n test_map}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_condact.lus  {}
+PASS: ./lus2lic  {-2c test_map.lus -n test_map}
 PASS: gcc -o test_map.exec test_map_test_map.c test_map_test_map_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_map.lus 
-PASS: ./lus2lic {-2c test_struct.lus -n test_struct}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_map.lus  {}
+PASS: ./lus2lic  {-2c test_struct.lus -n test_struct}
 PASS: gcc -o test_struct.exec test_struct_test_struct.c test_struct_test_struct_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_struct.lus 
-PASS: ./lus2lic {-2c ts01.lus -n ts01}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_struct.lus  {}
+PASS: ./lus2lic  {-2c ts01.lus -n ts01}
 PASS: gcc -o ts01.exec ts01_ts01.c ts01_ts01_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts01.lus 
-PASS: ./lus2lic {-2c toto.lus -n toto}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts01.lus  {}
+PASS: ./lus2lic  {-2c toto.lus -n toto}
 PASS: gcc -o toto.exec toto_toto.c toto_toto_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus 
-PASS: ./lus2lic {-2c tuple.lus -n tuple}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus  {}
+PASS: ./lus2lic  {-2c tuple.lus -n tuple}
 PASS: gcc -o tuple.exec tuple_tuple.c tuple_tuple_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tuple.lus 
-PASS: ./lus2lic {-2c triSel.lus -n triSel}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tuple.lus  {}
+PASS: ./lus2lic  {-2c triSel.lus -n triSel}
 PASS: gcc -o triSel.exec triSel_triSel.c triSel_triSel_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus 
-PASS: ./lus2lic {-2c test_boolred.lus -n test_boolred}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus  {}
+PASS: ./lus2lic  {-2c test_boolred.lus -n test_boolred}
 PASS: gcc -o test_boolred.exec test_boolred_test_boolred.c test_boolred_test_boolred_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_boolred.lus 
-PASS: ./lus2lic {-2c trivial2.lus -n trivial2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_boolred.lus  {}
+PASS: ./lus2lic  {-2c trivial2.lus -n trivial2}
 PASS: gcc -o trivial2.exec trivial2_trivial2.c trivial2_trivial2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial2.lus 
-PASS: ./lus2lic {-2c uu.lus -n uu}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial2.lus  {}
+PASS: ./lus2lic  {-2c uu.lus -n uu}
 PASS: gcc -o uu.exec uu_uu.c uu_uu_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c uu.lus 
-PASS: ./lus2lic {-2c v1.lus -n v1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c uu.lus  {}
+PASS: ./lus2lic  {-2c v1.lus -n v1}
 PASS: gcc -o v1.exec v1_v1.c v1_v1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c v1.lus 
-PASS: ./lus2lic {-2c when_tuple.lus -n when_tuple}
-FAIL: Check that the generated C code compiles  : gcc -o when_tuple.exec when_tuple_when_tuple.c when_tuple_when_tuple_ext.c when_tuple_when_tuple_loop.c 
-PASS: ./lus2lic {-2c xx.lus -n xx}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c v1.lus  {}
+PASS: ./lus2lic  {-2c when_tuple.lus -n when_tuple}
+PASS: ./lus2lic  {-2c xx.lus -n xx}
 PASS: gcc -o xx.exec xx_xx.c xx_xx_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus 
-PASS: ./lus2lic {-2c xxx.lus -n xxx}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus  {}
+PASS: ./lus2lic  {-2c xxx.lus -n xxx}
 PASS: gcc -o xxx.exec xxx_xxx.c xxx_xxx_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xxx.lus 
-PASS: ./lus2lic {-2c yyy.lus -n yyy}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xxx.lus  {}
+PASS: ./lus2lic  {-2c yyy.lus -n yyy}
 PASS: gcc -o yyy.exec yyy_yyy.c yyy_yyy_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus 
-PASS: ./lus2lic {-2c zzz2.lus -n zzz2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus  {}
+PASS: ./lus2lic  {-2c zzz2.lus -n zzz2}
 PASS: gcc -o zzz2.exec zzz2_zzz2.c zzz2_zzz2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus 
-PASS: ./lus2lic {-2c zzz.lus -n zzz}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus  {}
+PASS: ./lus2lic  {-2c zzz.lus -n zzz}
 PASS: gcc -o zzz.exec zzz_zzz.c zzz_zzz_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus 
-PASS: ./lus2lic {-2c PCOND1.lus -n PCOND1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus  {}
+PASS: ./lus2lic  {-2c PCOND1.lus -n PCOND1}
 PASS: gcc -o PCOND1.exec PCOND1_PCOND1.c PCOND1_PCOND1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c PCOND1.lus 
-PASS: ./lus2lic {-2c SWITCH.lus -n SWITCH}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c PCOND1.lus  {}
+PASS: ./lus2lic  {-2c SWITCH.lus -n SWITCH}
 PASS: gcc -o SWITCH.exec SWITCH_SWITCH.c SWITCH_SWITCH_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH.lus 
-PASS: ./lus2lic {-2c SOURIS.lus -n SOURIS}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH.lus  {}
+PASS: ./lus2lic  {-2c SOURIS.lus -n SOURIS}
 PASS: gcc -o SOURIS.exec SOURIS_SOURIS.c SOURIS_SOURIS_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SOURIS.lus 
-PASS: ./lus2lic {-2c STABLE.lus -n STABLE}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SOURIS.lus  {}
+PASS: ./lus2lic  {-2c STABLE.lus -n STABLE}
 PASS: gcc -o STABLE.exec STABLE_STABLE.c STABLE_STABLE_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c STABLE.lus 
-PASS: ./lus2lic {-2c SWITCH1.lus -n SWITCH1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c STABLE.lus  {}
+PASS: ./lus2lic  {-2c SWITCH1.lus -n SWITCH1}
 PASS: gcc -o SWITCH1.exec SWITCH1_SWITCH1.c SWITCH1_SWITCH1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH1.lus 
-PASS: ./lus2lic {-2c TIME_STABLE1.lus -n TIME_STABLE1}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH1.lus  {}
+PASS: ./lus2lic  {-2c TIME_STABLE1.lus -n TIME_STABLE1}
 PASS: gcc -o TIME_STABLE1.exec TIME_STABLE1_TIME_STABLE1.c TIME_STABLE1_TIME_STABLE1_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE1.lus 
-PASS: ./lus2lic {-2c TIME_STABLE.lus -n TIME_STABLE}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE1.lus  {}
+PASS: ./lus2lic  {-2c TIME_STABLE.lus -n TIME_STABLE}
 PASS: gcc -o TIME_STABLE.exec TIME_STABLE_TIME_STABLE.c TIME_STABLE_TIME_STABLE_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE.lus 
-PASS: ./lus2lic {-2c Watch.lus -n Watch}
-PASS: gcc -o Watch.exec Watch_Watch.c Watch_Watch_ext.c Watch_Watch_loop.c 
-PASS: ./lus2lic {-2c X6.lus -n X6}
-FAIL: Check that the generated C code compiles  : gcc -o X6.exec X6_X6.c X6_X6_loop.c 
-PASS: ./lus2lic {-2c X2.lus -n X2}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE.lus  {}
+PASS: ./lus2lic  {-2c Watch.lus -n Watch}
+PASS: ./lus2lic  {-2c X6.lus -n X6}
+PASS: gcc -o X6.exec X6_X6.c X6_X6_loop.c 
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X6.lus  {}
+PASS: ./lus2lic  {-2c X2.lus -n X2}
 PASS: gcc -o X2.exec X2_X2.c X2_X2_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X2.lus 
-PASS: ./lus2lic {-2c X.lus -n X}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X2.lus  {}
+PASS: ./lus2lic  {-2c X.lus -n X}
 PASS: gcc -o X.exec X_X.c X_X_loop.c 
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X.lus 
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X.lus  {}
 
 ==> lus2lic3.sum <==
-Test Run By jahier on Tue Aug 26 18:04:51 
+Test Run By jahier on Wed Aug 27 11:10:52 
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic3 tests ===
@@ -751,96 +733,96 @@ Running ./lus2lic.tests/test3.exp ...
 PASS: ./lus2lic {-o argos.lic argos.lus}
 PASS: ./lus2lic {-ec -o argos.ec argos.lus}
 PASS: ./myec2c {-o argos.c argos.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node argos.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node argos.lus {}
 PASS: ./lus2lic {-o access.lic access.lus}
 PASS: ./lus2lic {-ec -o access.ec access.lus}
 PASS: ./myec2c {-o access.c access.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node access.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node access.lus {}
 PASS: ./lus2lic {-o array_concat2.lic array_concat2.lus}
 PASS: ./lus2lic {-ec -o array_concat2.ec array_concat2.lus}
 PASS: ./myec2c {-o array_concat2.c array_concat2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat2.lus {}
 PASS: ./lus2lic {-o arbitre.lic arbitre.lus}
 PASS: ./lus2lic {-ec -o arbitre.ec arbitre.lus}
 PASS: ./myec2c {-o arbitre.c arbitre.ec}
 PASS: ./lus2lic {-o activation_ec.lic activation_ec.lus}
 PASS: ./lus2lic {-ec -o activation_ec.ec activation_ec.lus}
 PASS: ./myec2c {-o activation_ec.c activation_ec.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation_ec.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation_ec.lus {}
 PASS: ./lus2lic {-o activation2.lic activation2.lus}
 PASS: ./lus2lic {-ec -o activation2.ec activation2.lus}
 PASS: ./myec2c {-o activation2.c activation2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus { --expand-nodes}
 PASS: ./lus2lic {-o aa.lic aa.lus}
 PASS: ./lus2lic {-ec -o aa.ec aa.lus}
 PASS: ./myec2c {-o aa.c aa.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node aa.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node aa.lus {}
 PASS: ./lus2lic {-o array_concat.lic array_concat.lus}
 PASS: ./lus2lic {-ec -o array_concat.ec array_concat.lus}
 FAIL: Try ec2c on the result: ./myec2c {-o array_concat.c array_concat.ec}
 PASS: ./lus2lic {-o activation1.lic activation1.lus}
 PASS: ./lus2lic {-ec -o activation1.ec activation1.lus}
 PASS: ./myec2c {-o activation1.c activation1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus { --expand-nodes}
 PASS: ./lus2lic {-o asservi.lic asservi.lus}
 PASS: ./lus2lic {-ec -o asservi.ec asservi.lus}
 PASS: ./myec2c {-o asservi.c asservi.ec}
 PASS: ./lus2lic {-o alias.lic alias.lus}
 PASS: ./lus2lic {-ec -o alias.ec alias.lus}
 PASS: ./myec2c {-o alias.c alias.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus {}
 PASS: ./lus2lic {-o after.lic after.lus}
 PASS: ./lus2lic {-ec -o after.ec after.lus}
 PASS: ./myec2c {-o after.c after.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node after.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node after.lus {}
 PASS: ./lus2lic {-o arrays.lic arrays.lus}
 PASS: ./lus2lic {-ec -o arrays.ec arrays.lus}
 PASS: ./myec2c {-o arrays.c arrays.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus {}
 PASS: ./lus2lic {-o bug2.lic bug2.lus}
 PASS: ./lus2lic {-ec -o bug2.ec bug2.lus}
 PASS: ./myec2c {-o bug2.c bug2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug2.lus {}
 PASS: ./lus2lic {-o bascule.lic bascule.lus}
 PASS: ./lus2lic {-ec -o bascule.ec bascule.lus}
 PASS: ./myec2c {-o bascule.c bascule.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bascule.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bascule.lus {}
 PASS: ./lus2lic {-o bred.lic bred.lus}
 PASS: ./lus2lic {-ec -o bred.ec bred.lus}
 PASS: ./myec2c {-o bred.c bred.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred.lus {}
 PASS: ./lus2lic {-o bad_call03.lic bad_call03.lus}
 PASS: ./lus2lic {-ec -o bad_call03.ec bad_call03.lus}
 PASS: ./myec2c {-o bad_call03.c bad_call03.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bad_call03.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bad_call03.lus {}
 FAIL: without any option: ./lus2lic {-o bug_map_fby.lic bug_map_fby.lus}
 PASS: ./lus2lic {-o bob.lic bob.lus}
 PASS: ./lus2lic {-ec -o bob.ec bob.lus}
 PASS: ./myec2c {-o bob.c bob.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus {}
 PASS: ./lus2lic {-o bug.lic bug.lus}
 PASS: ./lus2lic {-ec -o bug.ec bug.lus}
 PASS: ./myec2c {-o bug.c bug.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug.lus {}
 PASS: ./lus2lic {-o bred_lv4.lic bred_lv4.lus}
 PASS: ./lus2lic {-ec -o bred_lv4.ec bred_lv4.lus}
 PASS: ./myec2c {-o bred_lv4.c bred_lv4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred_lv4.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred_lv4.lus {}
 PASS: ./lus2lic {-o ck5.lic ck5.lus}
 PASS: ./lus2lic {-ec -o ck5.ec ck5.lus}
 PASS: ./myec2c {-o ck5.c ck5.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck5.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck5.lus {}
 PASS: ./lus2lic {-o ck6.lic ck6.lus}
 PASS: ./lus2lic {-ec -o ck6.ec ck6.lus}
 PASS: ./myec2c {-o ck6.c ck6.ec}
 PASS: ./lus2lic {-o cminus.lic cminus.lus}
 PASS: ./lus2lic {-ec -o cminus.ec cminus.lus}
 PASS: ./myec2c {-o cminus.c cminus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cminus.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cminus.lus {}
 PASS: ./lus2lic {-o consensus2.lic consensus2.lus}
 PASS: ./lus2lic {-ec -o consensus2.ec consensus2.lus}
 PASS: ./myec2c {-o consensus2.c consensus2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus2.lus {}
 PASS: ./lus2lic {-o call06.lic call06.lus}
 PASS: ./lus2lic {-ec -o call06.ec call06.lus}
 PASS: ./myec2c {-o call06.c call06.ec}
@@ -850,23 +832,23 @@ PASS: ./myec2c {-o call05.c call05.ec}
 PASS: ./lus2lic {-o cst.lic cst.lus}
 PASS: ./lus2lic {-ec -o cst.ec cst.lus}
 PASS: ./myec2c {-o cst.c cst.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cst.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cst.lus {}
 PASS: ./lus2lic {-o call04.lic call04.lus}
 PASS: ./lus2lic {-ec -o call04.ec call04.lus}
 PASS: ./myec2c {-o call04.c call04.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call04.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call04.lus {}
 PASS: ./lus2lic {-o call07.lic call07.lus}
 PASS: ./lus2lic {-ec -o call07.ec call07.lus}
 PASS: ./myec2c {-o call07.c call07.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call07.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call07.lus {}
 PASS: ./lus2lic {-o calculs_max.lic calculs_max.lus}
 PASS: ./lus2lic {-ec -o calculs_max.ec calculs_max.lus}
 PASS: ./myec2c {-o calculs_max.c calculs_max.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus {}
 PASS: ./lus2lic {-o clock_ite.lic clock_ite.lus}
 PASS: ./lus2lic {-ec -o clock_ite.ec clock_ite.lus}
 PASS: ./myec2c {-o clock_ite.c clock_ite.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock_ite.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock_ite.lus {}
 PASS: ./lus2lic {-o complex.lic complex.lus}
 PASS: ./lus2lic {-ec -o complex.ec complex.lus}
 PASS: ./myec2c {-o complex.c complex.ec}
@@ -876,76 +858,76 @@ PASS: ./myec2c {-o call.c call.ec}
 PASS: ./lus2lic {-o compteur.lic compteur.lus}
 PASS: ./lus2lic {-ec -o compteur.ec compteur.lus}
 PASS: ./myec2c {-o compteur.c compteur.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node compteur.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node compteur.lus {}
 PASS: ./lus2lic {-o carV2.lic carV2.lus}
 PASS: ./lus2lic {-ec -o carV2.ec carV2.lus}
 PASS: ./myec2c {-o carV2.c carV2.ec}
 PASS: ./lus2lic {-o cpt.lic cpt.lus}
 PASS: ./lus2lic {-ec -o cpt.ec cpt.lus}
 PASS: ./myec2c {-o cpt.c cpt.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cpt.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cpt.lus {}
 PASS: ./lus2lic {-o consensus.lic consensus.lus}
 PASS: ./lus2lic {-ec -o consensus.ec consensus.lus}
 PASS: ./myec2c {-o consensus.c consensus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus.lus {}
 PASS: ./lus2lic {-o contractForElementSelectionInArray.lic contractForElementSelectionInArray.lus}
 PASS: ./lus2lic {-ec -o contractForElementSelectionInArray.ec contractForElementSelectionInArray.lus}
 PASS: ./myec2c {-o contractForElementSelectionInArray.c contractForElementSelectionInArray.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node contractForElementSelectionInArray.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node contractForElementSelectionInArray.lus {}
 PASS: ./lus2lic {-o call01.lic call01.lus}
 PASS: ./lus2lic {-ec -o call01.ec call01.lus}
 PASS: ./myec2c {-o call01.c call01.ec}
 PASS: ./lus2lic {-o ck4.lic ck4.lus}
 PASS: ./lus2lic {-ec -o ck4.ec ck4.lus}
 PASS: ./myec2c {-o ck4.c ck4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck4.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck4.lus {}
 PASS: ./lus2lic {-o ck3.lic ck3.lus}
 PASS: ./lus2lic {-ec -o ck3.ec ck3.lus}
 PASS: ./myec2c {-o ck3.c ck3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck3.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck3.lus {}
 PASS: ./lus2lic {-o call02.lic call02.lus}
 PASS: ./lus2lic {-ec -o call02.ec call02.lus}
 PASS: ./myec2c {-o call02.c call02.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call02.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call02.lus {}
 PASS: ./lus2lic {-o ck7.lic ck7.lus}
 PASS: ./lus2lic {-ec -o ck7.ec ck7.lus}
 PASS: ./myec2c {-o ck7.c ck7.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck7.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck7.lus {}
 PASS: ./lus2lic {-o cond01.lic cond01.lus}
 PASS: ./lus2lic {-ec -o cond01.ec cond01.lus}
 PASS: ./myec2c {-o cond01.c cond01.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cond01.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cond01.lus {}
 PASS: ./lus2lic {-o call03.lic call03.lus}
 PASS: ./lus2lic {-ec -o call03.ec call03.lus}
 PASS: ./myec2c {-o call03.c call03.ec}
 PASS: ./lus2lic {-o count.lic count.lus}
 PASS: ./lus2lic {-ec -o count.ec count.lus}
 PASS: ./myec2c {-o count.c count.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node count.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node count.lus {}
 PASS: ./lus2lic {-o ck2.lic ck2.lus}
 PASS: ./lus2lic {-ec -o ck2.ec ck2.lus}
 PASS: ./myec2c {-o ck2.c ck2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck2.lus {}
 PASS: ./lus2lic {-o clock1_2ms.lic clock1_2ms.lus}
 PASS: ./lus2lic {-ec -o clock1_2ms.ec clock1_2ms.lus}
 PASS: ./myec2c {-o clock1_2ms.c clock1_2ms.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock1_2ms.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock1_2ms.lus {}
 PASS: ./lus2lic {-o dep.lic dep.lus}
 PASS: ./lus2lic {-ec -o dep.ec dep.lus}
 PASS: ./myec2c {-o dep.c dep.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dep.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dep.lus {}
 PASS: ./lus2lic {-o dependeur.lic dependeur.lus}
 PASS: ./lus2lic {-ec -o dependeur.ec dependeur.lus}
 PASS: ./myec2c {-o dependeur.c dependeur.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur.lus {}
 PASS: ./lus2lic {-o deSimone.lic deSimone.lus}
 PASS: ./lus2lic {-ec -o deSimone.ec deSimone.lus}
 PASS: ./myec2c {-o deSimone.c deSimone.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus {}
 PASS: ./lus2lic {-o double_delay.lic double_delay.lus}
 PASS: ./lus2lic {-ec -o double_delay.ec double_delay.lus}
 PASS: ./myec2c {-o double_delay.c double_delay.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node double_delay.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node double_delay.lus {}
 PASS: ./lus2lic {-o deconne.lic deconne.lus}
 PASS: ./lus2lic {-ec -o deconne.ec deconne.lus}
 PASS: ./myec2c {-o deconne.c deconne.ec}
@@ -955,7 +937,7 @@ PASS: ./myec2c {-o declaration.c declaration.ec}
 PASS: ./lus2lic {-o dependeur_struct.lic dependeur_struct.lus}
 PASS: ./lus2lic {-ec -o dependeur_struct.ec dependeur_struct.lus}
 PASS: ./myec2c {-o dependeur_struct.c dependeur_struct.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur_struct.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur_struct.lus {}
 PASS: ./lus2lic {-o decl.lic decl.lus}
 PASS: ./lus2lic {-ec -o decl.ec decl.lus}
 PASS: ./myec2c {-o decl.c decl.ec}
@@ -965,222 +947,222 @@ PASS: ./myec2c {-o enum0.c enum0.ec}
 PASS: ./lus2lic {-o ec.lic ec.lus}
 PASS: ./lus2lic {-ec -o ec.ec ec.lus}
 PASS: ./myec2c {-o ec.c ec.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ec.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ec.lus {}
 PASS: ./lus2lic {-o exclusion.lic exclusion.lus}
 PASS: ./lus2lic {-ec -o exclusion.ec exclusion.lus}
 PASS: ./myec2c {-o exclusion.c exclusion.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node exclusion.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node exclusion.lus {}
 PASS: ./lus2lic {-o ex.lic ex.lus}
 PASS: ./lus2lic {-ec -o ex.ec ex.lus}
 PASS: ./myec2c {-o ex.c ex.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ex.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ex.lus {}
 PASS: ./lus2lic {-o filter.lic filter.lus}
 PASS: ./lus2lic {-ec -o filter.ec filter.lus}
 PASS: ./myec2c {-o filter.c filter.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filter.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filter.lus {}
 PASS: ./lus2lic {-o fresh_name.lic fresh_name.lus}
 PASS: ./lus2lic {-ec -o fresh_name.ec fresh_name.lus}
 PASS: ./myec2c {-o fresh_name.c fresh_name.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node fresh_name.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node fresh_name.lus {}
 PASS: ./lus2lic {-o filliter.lic filliter.lus}
 PASS: ./lus2lic {-ec -o filliter.ec filliter.lus}
 PASS: ./myec2c {-o filliter.c filliter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus {}
 PASS: ./lus2lic {-o followed_by.lic followed_by.lus}
 PASS: ./lus2lic {-ec -o followed_by.ec followed_by.lus}
 PASS: ./myec2c {-o followed_by.c followed_by.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node followed_by.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node followed_by.lus {}
 PASS: ./lus2lic {-o flo.lic flo.lus}
 PASS: ./lus2lic {-ec -o flo.ec flo.lus}
 PASS: ./myec2c {-o flo.c flo.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node flo.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node flo.lus {}
 PASS: ./lus2lic {-o func_with_body.lic func_with_body.lus}
 PASS: ./lus2lic {-ec -o func_with_body.ec func_with_body.lus}
 PASS: ./myec2c {-o func_with_body.c func_with_body.ec}
 PASS: ./lus2lic {-o heater_control.lic heater_control.lus}
 PASS: ./lus2lic {-ec -o heater_control.ec heater_control.lus}
 PASS: ./myec2c {-o heater_control.c heater_control.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node heater_control.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node heater_control.lus {}
 PASS: ./lus2lic {-o hanane.lic hanane.lus}
 PASS: ./lus2lic {-ec -o hanane.ec hanane.lus}
 PASS: ./myec2c {-o hanane.c hanane.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node hanane.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node hanane.lus {}
 PASS: ./lus2lic {-o iter.lic iter.lus}
 PASS: ./lus2lic {-ec -o iter.ec iter.lus}
 PASS: ./myec2c {-o iter.c iter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iter.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iter.lus {}
 PASS: ./lus2lic {-o is_stable.lic is_stable.lus}
 PASS: ./lus2lic {-ec -o is_stable.ec is_stable.lus}
 PASS: ./myec2c {-o is_stable.c is_stable.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus {}
 PASS: ./lus2lic {-o integrator.lic integrator.lus}
 PASS: ./lus2lic {-ec -o integrator.ec integrator.lus}
 PASS: ./myec2c {-o integrator.c integrator.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node integrator.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node integrator.lus {}
 PASS: ./lus2lic {-o initial.lic initial.lus}
 PASS: ./lus2lic {-ec -o initial.ec initial.lus}
 PASS: ./myec2c {-o initial.c initial.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node initial.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node initial.lus {}
 PASS: ./lus2lic {-o impl_priority.lic impl_priority.lus}
 PASS: ./lus2lic {-ec -o impl_priority.ec impl_priority.lus}
 PASS: ./myec2c {-o impl_priority.c impl_priority.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node impl_priority.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node impl_priority.lus {}
 PASS: ./lus2lic {-o import1.lic import1.lus}
 PASS: ./lus2lic {-ec -o import1.ec import1.lus}
 PASS: ./myec2c {-o import1.c import1.ec}
 PASS: ./lus2lic {-o iterFibo.lic iterFibo.lus}
 PASS: ./lus2lic {-ec -o iterFibo.ec iterFibo.lus}
 PASS: ./myec2c {-o iterFibo.c iterFibo.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus {}
 PASS: ./lus2lic {-o iterate.lic iterate.lus}
 PASS: ./lus2lic {-ec -o iterate.ec iterate.lus}
 PASS: ./myec2c {-o iterate.c iterate.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus {}
 PASS: ./lus2lic {-o lucky.lic lucky.lus}
 PASS: ./lus2lic {-ec -o lucky.ec lucky.lus}
 PASS: ./myec2c {-o lucky.c lucky.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lucky.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lucky.lus {}
 PASS: ./lus2lic {-o lustre_test1_ok.lic lustre_test1_ok.lus}
 PASS: ./lus2lic {-ec -o lustre_test1_ok.ec lustre_test1_ok.lus}
 PASS: ./myec2c {-o lustre_test1_ok.c lustre_test1_ok.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lustre_test1_ok.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lustre_test1_ok.lus {}
 PASS: ./lus2lic {-o long_et_stupide_nom_de_noeud.lic long_et_stupide_nom_de_noeud.lus}
 PASS: ./lus2lic {-ec -o long_et_stupide_nom_de_noeud.ec long_et_stupide_nom_de_noeud.lus}
 PASS: ./myec2c {-o long_et_stupide_nom_de_noeud.c long_et_stupide_nom_de_noeud.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node long_et_stupide_nom_de_noeud.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node long_et_stupide_nom_de_noeud.lus {}
 PASS: ./lus2lic {-o left.lic left.lus}
 PASS: ./lus2lic {-ec -o left.ec left.lus}
 PASS: ./myec2c {-o left.c left.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node left.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node left.lus {}
 PASS: ./lus2lic {-o lustre.lic lustre.lus}
 PASS: ./lus2lic {-ec -o lustre.ec lustre.lus}
 PASS: ./myec2c {-o lustre.c lustre.ec}
 PASS: ./lus2lic {-o mouse2.lic mouse2.lus}
 PASS: ./lus2lic {-ec -o mouse2.ec mouse2.lus}
 PASS: ./myec2c {-o mouse2.c mouse2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse2.lus {}
 PASS: ./lus2lic {-o mappredef.lic mappredef.lus}
 PASS: ./lus2lic {-ec -o mappredef.ec mappredef.lus}
 PASS: ./myec2c {-o mappredef.c mappredef.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mappredef.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mappredef.lus {}
 PASS: ./lus2lic {-o mm.lic mm.lus}
 PASS: ./lus2lic {-ec -o mm.ec mm.lus}
 PASS: ./myec2c {-o mm.c mm.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm.lus {}
 PASS: ./lus2lic {-o minmax5.lic minmax5.lus}
 PASS: ./lus2lic {-ec -o minmax5.ec minmax5.lus}
 PASS: ./myec2c {-o minmax5.c minmax5.ec}
 PASS: ./lus2lic {-o mm1.lic mm1.lus}
 PASS: ./lus2lic {-ec -o mm1.ec mm1.lus}
 PASS: ./myec2c {-o mm1.c mm1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm1.lus {}
 PASS: ./lus2lic {-o minmax5_random.lic minmax5_random.lus}
 PASS: ./lus2lic {-ec -o minmax5_random.ec minmax5_random.lus}
 PASS: ./myec2c {-o minmax5_random.c minmax5_random.ec}
 PASS: ./lus2lic {-o matrice2.lic matrice2.lus}
 PASS: ./lus2lic {-ec -o matrice2.ec matrice2.lus}
 PASS: ./myec2c {-o matrice2.c matrice2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus {}
 PASS: ./lus2lic {-o mm22.lic mm22.lus}
 PASS: ./lus2lic {-ec -o mm22.ec mm22.lus}
 PASS: ./myec2c {-o mm22.c mm22.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm22.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm22.lus {}
 PASS: ./lus2lic {-o model2.lic model2.lus}
 PASS: ./lus2lic {-ec -o model2.ec model2.lus}
 PASS: ./myec2c {-o model2.c model2.ec}
 PASS: ./lus2lic {-o modes3x2_v2.lic modes3x2_v2.lus}
 PASS: ./lus2lic {-ec -o modes3x2_v2.ec modes3x2_v2.lus}
 PASS: ./myec2c {-o modes3x2_v2.c modes3x2_v2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus {}
 PASS: ./lus2lic {-o minmax3.lic minmax3.lus}
 PASS: ./lus2lic {-ec -o minmax3.ec minmax3.lus}
 PASS: ./myec2c {-o minmax3.c minmax3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax3.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax3.lus {}
 PASS: ./lus2lic {-o morel3.lic morel3.lus}
 PASS: ./lus2lic {-ec -o morel3.ec morel3.lus}
 PASS: ./myec2c {-o morel3.c morel3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel3.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel3.lus {}
 PASS: ./lus2lic {-o minmax2.lic minmax2.lus}
 PASS: ./lus2lic {-ec -o minmax2.ec minmax2.lus}
 PASS: ./myec2c {-o minmax2.c minmax2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax2.lus {}
 PASS: ./lus2lic {-o morel5.lic morel5.lus}
 PASS: ./lus2lic {-ec -o morel5.ec morel5.lus}
 PASS: ./myec2c {-o morel5.c morel5.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel5.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel5.lus {}
 PASS: ./lus2lic {-o morel4.lic morel4.lus}
 PASS: ./lus2lic {-ec -o morel4.ec morel4.lus}
 PASS: ./myec2c {-o morel4.c morel4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel4.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel4.lus {}
 PASS: ./lus2lic {-o mouse.lic mouse.lus}
 PASS: ./lus2lic {-ec -o mouse.ec mouse.lus}
 PASS: ./myec2c {-o mouse.c mouse.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse.lus {}
 PASS: ./lus2lic {-o mapinf.lic mapinf.lus}
 PASS: ./lus2lic {-ec -o mapinf.ec mapinf.lus}
 PASS: ./myec2c {-o mapinf.c mapinf.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapinf.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapinf.lus {}
 PASS: ./lus2lic {-o mm3.lic mm3.lus}
 PASS: ./lus2lic {-ec -o mm3.ec mm3.lus}
 PASS: ./myec2c {-o mm3.c mm3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm3.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm3.lus {}
 PASS: ./lus2lic {-o mouse1.lic mouse1.lus}
 PASS: ./lus2lic {-ec -o mouse1.ec mouse1.lus}
 PASS: ./myec2c {-o mouse1.c mouse1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse1.lus {}
 PASS: ./lus2lic {-o multiclock.lic multiclock.lus}
 PASS: ./lus2lic {-ec -o multiclock.ec multiclock.lus}
 PASS: ./myec2c {-o multiclock.c multiclock.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multiclock.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multiclock.lus {}
 PASS: ./lus2lic {-o morel.lic morel.lus}
 PASS: ./lus2lic {-ec -o morel.ec morel.lus}
 PASS: ./myec2c {-o morel.c morel.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel.lus {}
 PASS: ./lus2lic {-o model.lic model.lus}
 PASS: ./lus2lic {-ec -o model.ec model.lus}
 PASS: ./myec2c {-o model.c model.ec}
 PASS: ./lus2lic {-o matrice.lic matrice.lus}
 PASS: ./lus2lic {-ec -o matrice.ec matrice.lus}
 PASS: ./myec2c {-o matrice.c matrice.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus {}
 PASS: ./lus2lic {-o multipar.lic multipar.lus}
 PASS: ./lus2lic {-ec -o multipar.ec multipar.lus}
 PASS: ./myec2c {-o multipar.c multipar.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
 PASS: ./lus2lic {-o morel2.lic morel2.lus}
 PASS: ./lus2lic {-ec -o morel2.ec morel2.lus}
 PASS: ./myec2c {-o morel2.c morel2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel2.lus {}
 PASS: ./lus2lic {-o minmax1.lic minmax1.lus}
 PASS: ./lus2lic {-ec -o minmax1.ec minmax1.lus}
 PASS: ./myec2c {-o minmax1.c minmax1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax1.lus {}
 PASS: ./lus2lic {-o mouse3.lic mouse3.lus}
 PASS: ./lus2lic {-ec -o mouse3.ec mouse3.lus}
 PASS: ./myec2c {-o mouse3.c mouse3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse3.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse3.lus {}
 PASS: ./lus2lic {-o moyenne.lic moyenne.lus}
 PASS: ./lus2lic {-ec -o moyenne.ec moyenne.lus}
 PASS: ./myec2c {-o moyenne.c moyenne.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus {}
 PASS: ./lus2lic {-o map_red_iter.lic map_red_iter.lus}
 PASS: ./lus2lic {-ec -o map_red_iter.ec map_red_iter.lus}
 PASS: ./myec2c {-o map_red_iter.c map_red_iter.ec}
 PASS: ./lus2lic {-o minmax4.lic minmax4.lus}
 PASS: ./lus2lic {-ec -o minmax4.ec minmax4.lus}
 PASS: ./myec2c {-o minmax4.c minmax4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4.lus {}
 PASS: ./lus2lic {-o mapdeRed.lic mapdeRed.lus}
 PASS: ./lus2lic {-ec -o mapdeRed.ec mapdeRed.lus}
 PASS: ./myec2c {-o mapdeRed.c mapdeRed.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus {}
 PASS: ./lus2lic {-o modelInst.lic modelInst.lus}
 PASS: ./lus2lic {-ec -o modelInst.ec modelInst.lus}
 PASS: ./myec2c {-o modelInst.c modelInst.ec}
 PASS: ./lus2lic {-o minmax4_bis.lic minmax4_bis.lus}
 PASS: ./lus2lic {-ec -o minmax4_bis.ec minmax4_bis.lus}
 PASS: ./myec2c {-o minmax4_bis.c minmax4_bis.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4_bis.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4_bis.lus {}
 PASS: ./lus2lic {-o modes3x2_v4.lic modes3x2_v4.lus}
 PASS: ./lus2lic {-ec -o modes3x2_v4.ec modes3x2_v4.lus}
 FAIL: Try ec2c on the result: ./myec2c {-o modes3x2_v4.c modes3x2_v4.ec}
@@ -1190,26 +1172,23 @@ FAIL: Try ec2c on the result: ./myec2c {-o modes3x2_v3.c modes3x2_v3.ec}
 PASS: ./lus2lic {-o minmax6.lic minmax6.lus}
 PASS: ./lus2lic {-ec -o minmax6.ec minmax6.lus}
 PASS: ./myec2c {-o minmax6.c minmax6.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax6.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax6.lus {}
 PASS: ./lus2lic {-o mapiter.lic mapiter.lus}
 PASS: ./lus2lic {-ec -o mapiter.ec mapiter.lus}
 PASS: ./myec2c {-o mapiter.c mapiter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapiter.lus 
-PASS: ./lus2lic {-o modes3x2-simu.lic modes3x2-simu.lus}
-PASS: ./lus2lic {-ec -o modes3x2-simu.ec modes3x2-simu.lus}
-FAIL: Try ec2c on the result: ./myec2c {-o modes3x2-simu.c modes3x2-simu.ec}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapiter.lus {}
 PASS: ./lus2lic {-o minus.lic minus.lus}
 PASS: ./lus2lic {-ec -o minus.ec minus.lus}
 PASS: ./myec2c {-o minus.c minus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus {}
 PASS: ./lus2lic {-o COUNTER.lic COUNTER.lus}
 PASS: ./lus2lic {-ec -o COUNTER.ec COUNTER.lus}
 PASS: ./myec2c {-o COUNTER.c COUNTER.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node COUNTER.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node COUNTER.lus {}
 PASS: ./lus2lic {-o CURRENT.lic CURRENT.lus}
 PASS: ./lus2lic {-ec -o CURRENT.ec CURRENT.lus}
 PASS: ./myec2c {-o CURRENT.c CURRENT.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node CURRENT.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node CURRENT.lus {}
 PASS: ./lus2lic {-o Condact.lic Condact.lus}
 PASS: ./lus2lic {-ec -o Condact.ec Condact.lus}
 PASS: ./myec2c {-o Condact.c Condact.ec}
@@ -1219,29 +1198,29 @@ PASS: ./myec2c {-o ELMU.c ELMU.ec}
 PASS: ./lus2lic {-o EDGE.lic EDGE.lus}
 PASS: ./lus2lic {-ec -o EDGE.ec EDGE.lus}
 PASS: ./myec2c {-o EDGE.c EDGE.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node EDGE.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node EDGE.lus {}
 PASS: ./lus2lic {-o FALLING_EDGE.lic FALLING_EDGE.lus}
 PASS: ./lus2lic {-ec -o FALLING_EDGE.ec FALLING_EDGE.lus}
 PASS: ./myec2c {-o FALLING_EDGE.c FALLING_EDGE.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FALLING_EDGE.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FALLING_EDGE.lus {}
 PASS: ./lus2lic {-o FillFollowedByRed.lic FillFollowedByRed.lus}
 PASS: ./lus2lic {-ec -o FillFollowedByRed.ec FillFollowedByRed.lus}
 PASS: ./myec2c {-o FillFollowedByRed.c FillFollowedByRed.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus {}
 PASS: ./lus2lic {-o Gyroscope2.lic Gyroscope2.lus}
 PASS: ./lus2lic {-ec -o Gyroscope2.ec Gyroscope2.lus}
 PASS: ./myec2c {-o Gyroscope2.c Gyroscope2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus {}
 PASS: ./lus2lic {-o Gyroscope.lic Gyroscope.lus}
 PASS: ./lus2lic {-ec -o Gyroscope.ec Gyroscope.lus}
 PASS: ./myec2c {-o Gyroscope.c Gyroscope.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus {}
 PASS: ./lus2lic {-o Int.lic Int.lus}
 PASS: ./lus2lic {-ec -o Int.ec Int.lus}
 PASS: ./myec2c {-o Int.c Int.ec}
 
 ==> lus2lic4.sum <==
-Test Run By jahier on Tue Aug 26 18:04:50 
+Test Run By jahier on Wed Aug 27 11:11:48 
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic4 tests ===
@@ -1254,119 +1233,119 @@ Running ./lus2lic.tests/test4.exp ...
 PASS: ./lus2lic {-o nc6.lic nc6.lus}
 PASS: ./lus2lic {-ec -o nc6.ec nc6.lus}
 PASS: ./myec2c {-o nc6.c nc6.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc6.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc6.lus {}
 PASS: ./lus2lic {-o normal.lic normal.lus}
 PASS: ./lus2lic {-ec -o normal.ec normal.lus}
 PASS: ./myec2c {-o normal.c normal.ec}
 PASS: ./lus2lic {-o nodeparam.lic nodeparam.lus}
 PASS: ./lus2lic {-ec -o nodeparam.ec nodeparam.lus}
 PASS: ./myec2c {-o nodeparam.c nodeparam.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nodeparam.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nodeparam.lus {}
 PASS: ./lus2lic {-o nc7.lic nc7.lus}
 PASS: ./lus2lic {-ec -o nc7.ec nc7.lus}
 PASS: ./myec2c {-o nc7.c nc7.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc7.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc7.lus {}
 PASS: ./lus2lic {-o nc9.lic nc9.lus}
 PASS: ./lus2lic {-ec -o nc9.ec nc9.lus}
 PASS: ./myec2c {-o nc9.c nc9.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc9.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc9.lus {}
 PASS: ./lus2lic {-o nc8.lic nc8.lus}
 PASS: ./lus2lic {-ec -o nc8.ec nc8.lus}
 PASS: ./myec2c {-o nc8.c nc8.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc8.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc8.lus {}
 PASS: ./lus2lic {-o node_caller1.lic node_caller1.lus}
 PASS: ./lus2lic {-ec -o node_caller1.ec node_caller1.lus}
 PASS: ./myec2c {-o node_caller1.c node_caller1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node node_caller1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node node_caller1.lus {}
 PASS: ./lus2lic {-o nc1.lic nc1.lus}
 PASS: ./lus2lic {-ec -o nc1.ec nc1.lus}
 PASS: ./myec2c {-o nc1.c nc1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc1.lus {}
 PASS: ./lus2lic {-o newpacks.lic newpacks.lus}
 PASS: ./lus2lic {-ec -o newpacks.ec newpacks.lus}
 PASS: ./myec2c {-o newpacks.c newpacks.ec}
 PASS: ./lus2lic {-o noAlarm.lic noAlarm.lus}
 PASS: ./lus2lic {-ec -o noAlarm.ec noAlarm.lus}
 PASS: ./myec2c {-o noAlarm.c noAlarm.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noAlarm.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noAlarm.lus {}
 PASS: ./lus2lic {-o noeudsIndependants.lic noeudsIndependants.lus}
 PASS: ./lus2lic {-ec -o noeudsIndependants.ec noeudsIndependants.lus}
 PASS: ./myec2c {-o noeudsIndependants.c noeudsIndependants.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noeudsIndependants.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noeudsIndependants.lus {}
 PASS: ./lus2lic {-o nc4.lic nc4.lus}
 PASS: ./lus2lic {-ec -o nc4.ec nc4.lus}
 PASS: ./myec2c {-o nc4.c nc4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc4.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc4.lus {}
 PASS: ./lus2lic {-o nc5.lic nc5.lus}
 PASS: ./lus2lic {-ec -o nc5.ec nc5.lus}
 PASS: ./myec2c {-o nc5.c nc5.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc5.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc5.lus {}
 PASS: ./lus2lic {-o nc2.lic nc2.lus}
 PASS: ./lus2lic {-ec -o nc2.ec nc2.lus}
 PASS: ./myec2c {-o nc2.c nc2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc2.lus {}
 PASS: ./lus2lic {-o notTwo.lic notTwo.lus}
 PASS: ./lus2lic {-ec -o notTwo.ec notTwo.lus}
 PASS: ./myec2c {-o notTwo.c notTwo.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node notTwo.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node notTwo.lus {}
 PASS: ./lus2lic {-o nested.lic nested.lus}
 PASS: ./lus2lic {-ec -o nested.ec nested.lus}
 PASS: ./myec2c {-o nested.c nested.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nested.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nested.lus {}
 PASS: ./lus2lic {-o nc10.lic nc10.lus}
 PASS: ./lus2lic {-ec -o nc10.ec nc10.lus}
 PASS: ./myec2c {-o nc10.c nc10.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc10.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc10.lus {}
 PASS: ./lus2lic {-o nc3.lic nc3.lus}
 PASS: ./lus2lic {-ec -o nc3.ec nc3.lus}
 PASS: ./myec2c {-o nc3.c nc3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc3.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc3.lus {}
 PASS: ./lus2lic {-o onlyroll2.lic onlyroll2.lus}
 PASS: ./lus2lic {-ec -o onlyroll2.ec onlyroll2.lus}
 PASS: ./myec2c {-o onlyroll2.c onlyroll2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll2.lus {}
 PASS: ./lus2lic {-o onlyroll.lic onlyroll.lus}
 PASS: ./lus2lic {-ec -o onlyroll.ec onlyroll.lus}
 PASS: ./myec2c {-o onlyroll.c onlyroll.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll.lus {}
 PASS: ./lus2lic {-o over2.lic over2.lus}
 PASS: ./lus2lic {-ec -o over2.ec over2.lus}
 PASS: ./myec2c {-o over2.c over2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over2.lus {}
 PASS: ./lus2lic {-o over3.lic over3.lus}
 PASS: ./lus2lic {-ec -o over3.ec over3.lus}
 PASS: ./myec2c {-o over3.c over3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over3.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over3.lus {}
 PASS: ./lus2lic {-o o2l_feux_compl.lic o2l_feux_compl.lus}
 PASS: ./lus2lic {-ec -o o2l_feux_compl.ec o2l_feux_compl.lus}
 PASS: ./myec2c {-o o2l_feux_compl.c o2l_feux_compl.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node o2l_feux_compl.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node o2l_feux_compl.lus {}
 PASS: ./lus2lic {-o predefOp.lic predefOp.lus}
 PASS: ./lus2lic {-ec -o predefOp.ec predefOp.lus}
 PASS: ./myec2c {-o predefOp.c predefOp.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus {}
 PASS: ./lus2lic {-o packageTableau.lic packageTableau.lus}
 PASS: ./lus2lic {-ec -o packageTableau.ec packageTableau.lus}
 PASS: ./myec2c {-o packageTableau.c packageTableau.ec}
 PASS: ./lus2lic {-o predef03.lic predef03.lus}
 PASS: ./lus2lic {-ec -o predef03.ec predef03.lus}
 PASS: ./myec2c {-o predef03.c predef03.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef03.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef03.lus {}
 PASS: ./lus2lic {-o polymorphic_pack.lic polymorphic_pack.lus}
 PASS: ./lus2lic {-ec -o polymorphic_pack.ec polymorphic_pack.lus}
 PASS: ./myec2c {-o polymorphic_pack.c polymorphic_pack.ec}
 PASS: ./lus2lic {-o ply03.lic ply03.lus}
 PASS: ./lus2lic {-ec -o ply03.ec ply03.lus}
 PASS: ./myec2c {-o ply03.c ply03.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply03.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply03.lus {}
 PASS: ./lus2lic {-o param_struct.lic param_struct.lus}
 PASS: ./lus2lic {-ec -o param_struct.ec param_struct.lus}
 PASS: ./myec2c {-o param_struct.c param_struct.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_struct.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_struct.lus {}
 PASS: ./lus2lic {-o plus.lic plus.lus}
 PASS: ./lus2lic {-ec -o plus.ec plus.lus}
 PASS: ./myec2c {-o plus.c plus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node plus.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node plus.lus {}
 PASS: ./lus2lic {-o pilote-1.0.lic pilote-1.0.lus}
 PASS: ./lus2lic {-ec -o pilote-1.0.ec pilote-1.0.lus}
 PASS: ./myec2c {-o pilote-1.0.c pilote-1.0.ec}
@@ -1376,31 +1355,31 @@ PASS: ./myec2c {-o packs.c packs.ec}
 PASS: ./lus2lic {-o param_node4.lic param_node4.lus}
 PASS: ./lus2lic {-ec -o param_node4.ec param_node4.lus}
 PASS: ./myec2c {-o param_node4.c param_node4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node4.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node4.lus {}
 PASS: ./lus2lic {-o produitBool.lic produitBool.lus}
 PASS: ./lus2lic {-ec -o produitBool.ec produitBool.lus}
 PASS: ./myec2c {-o produitBool.c produitBool.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node produitBool.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node produitBool.lus {}
 PASS: ./lus2lic {-o param_node3.lic param_node3.lus}
 PASS: ./lus2lic {-ec -o param_node3.ec param_node3.lus}
 PASS: ./myec2c {-o param_node3.c param_node3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node3.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node3.lus {}
 PASS: ./lus2lic {-o pipeline.lic pipeline.lus}
 PASS: ./lus2lic {-ec -o pipeline.ec pipeline.lus}
 PASS: ./myec2c {-o pipeline.c pipeline.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus {}
 PASS: ./lus2lic {-o predef01.lic predef01.lus}
 PASS: ./lus2lic {-ec -o predef01.ec predef01.lus}
 PASS: ./myec2c {-o predef01.c predef01.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef01.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef01.lus {}
 PASS: ./lus2lic {-o param_node2.lic param_node2.lus}
 PASS: ./lus2lic {-ec -o param_node2.ec param_node2.lus}
 PASS: ./myec2c {-o param_node2.c param_node2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node2.lus {}
 PASS: ./lus2lic {-o ply01.lic ply01.lus}
 PASS: ./lus2lic {-ec -o ply01.ec ply01.lus}
 PASS: ./myec2c {-o ply01.c ply01.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply01.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply01.lus {}
 PASS: ./lus2lic {-o pack1.lic pack1.lus}
 PASS: ./lus2lic {-ec -o pack1.ec pack1.lus}
 PASS: ./myec2c {-o pack1.c pack1.ec}
@@ -1410,77 +1389,77 @@ PASS: ./myec2c {-o p.c p.ec}
 PASS: ./lus2lic {-o pre_x.lic pre_x.lus}
 PASS: ./lus2lic {-ec -o pre_x.ec pre_x.lus}
 PASS: ./myec2c {-o pre_x.c pre_x.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pre_x.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pre_x.lus {}
 PASS: ./lus2lic {-o packed_cst.lic packed_cst.lus}
 PASS: ./lus2lic {-ec -o packed_cst.ec packed_cst.lus}
 PASS: ./myec2c {-o packed_cst.c packed_cst.ec}
 PASS: ./lus2lic {-o predef02.lic predef02.lus}
 PASS: ./lus2lic {-ec -o predef02.ec predef02.lus}
 PASS: ./myec2c {-o predef02.c predef02.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus {}
 PASS: ./lus2lic {-o poussoir.lic poussoir.lus}
 PASS: ./lus2lic {-ec -o poussoir.ec poussoir.lus}
 PASS: ./myec2c {-o poussoir.c poussoir.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node poussoir.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node poussoir.lus {}
 PASS: ./lus2lic {-o param_node.lic param_node.lus}
 PASS: ./lus2lic {-ec -o param_node.ec param_node.lus}
 PASS: ./myec2c {-o param_node.c param_node.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node.lus {}
 PASS: ./lus2lic {-o redIf.lic redIf.lus}
 PASS: ./lus2lic {-ec -o redIf.ec redIf.lus}
 PASS: ./myec2c {-o redIf.c redIf.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus {}
 PASS: ./lus2lic {-o rs.lic rs.lus}
 PASS: ./lus2lic {-ec -o rs.ec rs.lus}
 PASS: ./myec2c {-o rs.c rs.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rs.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rs.lus {}
 PASS: ./lus2lic {-o rediter.lic rediter.lus}
 PASS: ./lus2lic {-ec -o rediter.ec rediter.lus}
 PASS: ./myec2c {-o rediter.c rediter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus {}
 PASS: ./lus2lic {-o redoptest.lic redoptest.lus}
 PASS: ./lus2lic {-ec -o redoptest.ec redoptest.lus}
 PASS: ./myec2c {-o redoptest.c redoptest.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus {}
 PASS: ./lus2lic {-o remplissage-1.0.lic remplissage-1.0.lus}
 PASS: ./lus2lic {-ec -o remplissage-1.0.ec remplissage-1.0.lus}
 PASS: ./myec2c {-o remplissage-1.0.c remplissage-1.0.ec}
 PASS: ./lus2lic {-o struct_with.lic struct_with.lus}
 PASS: ./lus2lic {-ec -o struct_with.ec struct_with.lus}
 PASS: ./myec2c {-o struct_with.c struct_with.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_with.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_with.lus {}
 PASS: ./lus2lic {-o shift_ludic.lic shift_ludic.lus}
 PASS: ./lus2lic {-ec -o shift_ludic.ec shift_ludic.lus}
 PASS: ./myec2c {-o shift_ludic.c shift_ludic.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shift_ludic.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shift_ludic.lus {}
 PASS: ./lus2lic {-o sincos.lic sincos.lus}
 PASS: ./lus2lic {-ec -o sincos.ec sincos.lus}
 PASS: ./myec2c {-o sincos.c sincos.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sincos.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sincos.lus {}
 PASS: ./lus2lic {-o sample_time_change_MainNode.lic sample_time_change_MainNode.lus}
 PASS: ./lus2lic {-ec -o sample_time_change_MainNode.ec sample_time_change_MainNode.lus}
 PASS: ./myec2c {-o sample_time_change_MainNode.c sample_time_change_MainNode.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change_MainNode.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change_MainNode.lus {}
 PASS: ./lus2lic {-o stopwatch.lic stopwatch.lus}
 PASS: ./lus2lic {-ec -o stopwatch.ec stopwatch.lus}
 PASS: ./myec2c {-o stopwatch.c stopwatch.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node stopwatch.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node stopwatch.lus {}
 PASS: ./lus2lic {-o struct0.lic struct0.lus}
 PASS: ./lus2lic {-ec -o struct0.ec struct0.lus}
 PASS: ./myec2c {-o struct0.c struct0.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct0.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct0.lus {}
 PASS: ./lus2lic {-o simpleRed.lic simpleRed.lus}
 PASS: ./lus2lic {-ec -o simpleRed.ec simpleRed.lus}
 PASS: ./myec2c {-o simpleRed.c simpleRed.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus {}
 PASS: ./lus2lic {-o shiftFill_ludic.lic shiftFill_ludic.lus}
 PASS: ./lus2lic {-ec -o shiftFill_ludic.ec shiftFill_ludic.lus}
 PASS: ./myec2c {-o shiftFill_ludic.c shiftFill_ludic.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shiftFill_ludic.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shiftFill_ludic.lus {}
 PASS: ./lus2lic {-o speedcontrol.lic speedcontrol.lus}
 PASS: ./lus2lic {-ec -o speedcontrol.ec speedcontrol.lus}
 PASS: ./myec2c {-o speedcontrol.c speedcontrol.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus { --expand-nodes}
 PASS: ./lus2lic {-o simple.lic simple.lus}
 PASS: ./lus2lic {-ec -o simple.ec simple.lus}
 PASS: ./myec2c {-o simple.c simple.ec}
@@ -1493,71 +1472,71 @@ PASS: ./myec2c {-o t0.c t0.ec}
 PASS: ./lus2lic {-o titi.lic titi.lus}
 PASS: ./lus2lic {-ec -o titi.ec titi.lus}
 PASS: ./myec2c {-o titi.c titi.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node titi.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node titi.lus {}
 PASS: ./lus2lic {-o toolate.lic toolate.lus}
 PASS: ./lus2lic {-ec -o toolate.ec toolate.lus}
 PASS: ./myec2c {-o toolate.c toolate.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toolate.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toolate.lus {}
 PASS: ./lus2lic {-o testCapt.lic testCapt.lus}
 PASS: ./lus2lic {-ec -o testCapt.ec testCapt.lus}
 PASS: ./myec2c {-o testCapt.c testCapt.ec}
 PASS: ./lus2lic {-o t1.lic t1.lus}
 PASS: ./lus2lic {-ec -o t1.ec t1.lus}
 PASS: ./myec2c {-o t1.c t1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t1.lus {}
 PASS: ./lus2lic {-o test_poly.lic test_poly.lus}
 PASS: ./lus2lic {-ec -o test_poly.ec test_poly.lus}
 PASS: ./myec2c {-o test_poly.c test_poly.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_poly.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_poly.lus {}
 PASS: ./lus2lic {-o testBoite.lic testBoite.lus}
 PASS: ./lus2lic {-ec -o testBoite.ec testBoite.lus}
 PASS: ./myec2c {-o testBoite.c testBoite.ec}
 PASS: ./lus2lic {-o test_node_expand2.lic test_node_expand2.lus}
 PASS: ./lus2lic {-ec -o test_node_expand2.ec test_node_expand2.lus}
 PASS: ./myec2c {-o test_node_expand2.c test_node_expand2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus {}
 PASS: ./lus2lic {-o test.lic test.lus}
 PASS: ./lus2lic {-ec -o test.ec test.lus}
 PASS: ./myec2c {-o test.c test.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test.lus {}
 PASS: ./lus2lic {-o test_node_expand.lic test_node_expand.lus}
 PASS: ./lus2lic {-ec -o test_node_expand.ec test_node_expand.lus}
 PASS: ./myec2c {-o test_node_expand.c test_node_expand.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand.lus {}
 PASS: ./lus2lic {-o test_clash.lic test_clash.lus}
 PASS: ./lus2lic {-ec -o test_clash.ec test_clash.lus}
 PASS: ./myec2c {-o test_clash.c test_clash.ec}
 PASS: ./lus2lic {-o trivial.lic trivial.lus}
 PASS: ./lus2lic {-ec -o trivial.ec trivial.lus}
 PASS: ./myec2c {-o trivial.c trivial.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial.lus {}
 PASS: ./lus2lic {-o test_diese.lic test_diese.lus}
 PASS: ./lus2lic {-ec -o test_diese.ec test_diese.lus}
 PASS: ./myec2c {-o test_diese.c test_diese.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_diese.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_diese.lus {}
 PASS: ./lus2lic {-o tri.lic tri.lus}
 PASS: ./lus2lic {-ec -o tri.ec tri.lus}
 PASS: ./myec2c {-o tri.c tri.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus {}
 PASS: ./lus2lic {-o testCA.lic testCA.lus}
 PASS: ./lus2lic {-ec -o testCA.ec testCA.lus}
 PASS: ./myec2c {-o testCA.c testCA.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node testCA.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node testCA.lus {}
 PASS: ./lus2lic {-o test_extern.lic test_extern.lus}
 PASS: ./lus2lic {-ec -o test_extern.ec test_extern.lus}
 PASS: ./myec2c {-o test_extern.c test_extern.ec}
 PASS: ./lus2lic {-o trivial_array.lic trivial_array.lus}
 PASS: ./lus2lic {-ec -o trivial_array.ec trivial_array.lus}
 PASS: ./myec2c {-o trivial_array.c trivial_array.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial_array.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial_array.lus {}
 PASS: ./lus2lic {-o t2.lic t2.lus}
 PASS: ./lus2lic {-ec -o t2.ec t2.lus}
 PASS: ./myec2c {-o t2.c t2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t2.lus {}
 PASS: ./lus2lic {-o test_const.lic test_const.lus}
 PASS: ./lus2lic {-ec -o test_const.ec test_const.lus}
 PASS: ./myec2c {-o test_const.c test_const.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_const.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_const.lus {}
 PASS: ./lus2lic {-o test_merge.lic test_merge.lus}
 PASS: ./lus2lic {-ec -o test_merge.ec test_merge.lus}
 FAIL: Try ec2c on the result: ./myec2c {-o test_merge.c test_merge.ec}
@@ -1567,124 +1546,125 @@ PASS: ./myec2c {-o test_enum.c test_enum.ec}
 PASS: ./lus2lic {-o ts04.lic ts04.lus}
 PASS: ./lus2lic {-ec -o ts04.ec ts04.lus}
 PASS: ./myec2c {-o ts04.c ts04.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts04.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts04.lus {}
 PASS: ./lus2lic {-o test_arrow.lic test_arrow.lus}
 PASS: ./lus2lic {-ec -o test_arrow.ec test_arrow.lus}
 PASS: ./myec2c {-o test_arrow.c test_arrow.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_arrow.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_arrow.lus {}
 PASS: ./lus2lic {-o type_decl.lic type_decl.lus}
 PASS: ./lus2lic {-ec -o type_decl.ec type_decl.lus}
 PASS: ./myec2c {-o type_decl.c type_decl.ec}
 PASS: ./lus2lic {-o test_condact.lic test_condact.lus}
 PASS: ./lus2lic {-ec -o test_condact.ec test_condact.lus}
 PASS: ./myec2c {-o test_condact.c test_condact.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus 
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus {}
 PASS: ./lus2lic {-o test_map.lic test_map.lus}
 PASS: ./lus2lic {-ec -o test_map.ec test_map.lus}
 PASS: ./myec2c {-o test_map.c test_map.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_map.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_map.lus {}
 PASS: ./lus2lic {-o test_struct.lic test_struct.lus}
 PASS: ./lus2lic {-ec -o test_struct.ec test_struct.lus}
 PASS: ./myec2c {-o test_struct.c test_struct.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_struct.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_struct.lus {}
 PASS: ./lus2lic {-o ts01.lic ts01.lus}
 PASS: ./lus2lic {-ec -o ts01.ec ts01.lus}
 PASS: ./myec2c {-o ts01.c ts01.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts01.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts01.lus {}
 PASS: ./lus2lic {-o toto.lic toto.lus}
 PASS: ./lus2lic {-ec -o toto.ec toto.lus}
 PASS: ./myec2c {-o toto.c toto.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toto.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toto.lus {}
 PASS: ./lus2lic {-o tuple.lic tuple.lus}
 PASS: ./lus2lic {-ec -o tuple.ec tuple.lus}
 PASS: ./myec2c {-o tuple.c tuple.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tuple.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tuple.lus {}
 PASS: ./lus2lic {-o triSel.lic triSel.lus}
 PASS: ./lus2lic {-ec -o triSel.ec triSel.lus}
 PASS: ./myec2c {-o triSel.c triSel.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus {}
 PASS: ./lus2lic {-o test_boolred.lic test_boolred.lus}
 PASS: ./lus2lic {-ec -o test_boolred.ec test_boolred.lus}
 PASS: ./myec2c {-o test_boolred.c test_boolred.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_boolred.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_boolred.lus {}
 PASS: ./lus2lic {-o trivial2.lic trivial2.lus}
 PASS: ./lus2lic {-ec -o trivial2.ec trivial2.lus}
 PASS: ./myec2c {-o trivial2.c trivial2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial2.lus {}
 PASS: ./lus2lic {-o uu.lic uu.lus}
 PASS: ./lus2lic {-ec -o uu.ec uu.lus}
 PASS: ./myec2c {-o uu.c uu.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node uu.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node uu.lus {}
 PASS: ./lus2lic {-o v1.lic v1.lus}
 PASS: ./lus2lic {-ec -o v1.ec v1.lus}
 PASS: ./myec2c {-o v1.c v1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node v1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node v1.lus {}
 PASS: ./lus2lic {-o when_tuple.lic when_tuple.lus}
 PASS: ./lus2lic {-ec -o when_tuple.ec when_tuple.lus}
 PASS: ./myec2c {-o when_tuple.c when_tuple.ec}
 PASS: ./lus2lic {-o xx.lic xx.lus}
 PASS: ./lus2lic {-ec -o xx.ec xx.lus}
 PASS: ./myec2c {-o xx.c xx.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus {}
 PASS: ./lus2lic {-o xxx.lic xxx.lus}
 PASS: ./lus2lic {-ec -o xxx.ec xxx.lus}
 PASS: ./myec2c {-o xxx.c xxx.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xxx.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xxx.lus {}
 PASS: ./lus2lic {-o yyy.lic yyy.lus}
 PASS: ./lus2lic {-ec -o yyy.ec yyy.lus}
 PASS: ./myec2c {-o yyy.c yyy.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus {}
 PASS: ./lus2lic {-o zzz2.lic zzz2.lus}
 PASS: ./lus2lic {-ec -o zzz2.ec zzz2.lus}
 PASS: ./myec2c {-o zzz2.c zzz2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
 PASS: ./lus2lic {-o zzz.lic zzz.lus}
 PASS: ./lus2lic {-ec -o zzz.ec zzz.lus}
 PASS: ./myec2c {-o zzz.c zzz.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz.lus {}
 PASS: ./lus2lic {-o PCOND1.lic PCOND1.lus}
 PASS: ./lus2lic {-ec -o PCOND1.ec PCOND1.lus}
 PASS: ./myec2c {-o PCOND1.c PCOND1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node PCOND1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node PCOND1.lus {}
 FAIL: without any option: ./lus2lic {-o PCOND.lic PCOND.lus}
 PASS: ./lus2lic {-o SWITCH.lic SWITCH.lus}
 PASS: ./lus2lic {-ec -o SWITCH.ec SWITCH.lus}
 PASS: ./myec2c {-o SWITCH.c SWITCH.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH.lus {}
 PASS: ./lus2lic {-o SOURIS.lic SOURIS.lus}
 PASS: ./lus2lic {-ec -o SOURIS.ec SOURIS.lus}
 PASS: ./myec2c {-o SOURIS.c SOURIS.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SOURIS.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SOURIS.lus {}
 PASS: ./lus2lic {-o STABLE.lic STABLE.lus}
 PASS: ./lus2lic {-ec -o STABLE.ec STABLE.lus}
 PASS: ./myec2c {-o STABLE.c STABLE.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node STABLE.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node STABLE.lus {}
 PASS: ./lus2lic {-o SWITCH1.lic SWITCH1.lus}
 PASS: ./lus2lic {-ec -o SWITCH1.ec SWITCH1.lus}
 PASS: ./myec2c {-o SWITCH1.c SWITCH1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH1.lus {}
 PASS: ./lus2lic {-o TIME_STABLE1.lic TIME_STABLE1.lus}
 PASS: ./lus2lic {-ec -o TIME_STABLE1.ec TIME_STABLE1.lus}
 PASS: ./myec2c {-o TIME_STABLE1.c TIME_STABLE1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE1.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE1.lus {}
 PASS: ./lus2lic {-o TIME_STABLE.lic TIME_STABLE.lus}
 PASS: ./lus2lic {-ec -o TIME_STABLE.ec TIME_STABLE.lus}
 PASS: ./myec2c {-o TIME_STABLE.c TIME_STABLE.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE.lus {}
 PASS: ./lus2lic {-o Watch.lic Watch.lus}
 PASS: ./lus2lic {-ec -o Watch.ec Watch.lus}
 PASS: ./myec2c {-o Watch.c Watch.ec}
 PASS: ./lus2lic {-o X6.lic X6.lus}
 PASS: ./lus2lic {-ec -o X6.ec X6.lus}
-FAIL: Try ec2c on the result: ./myec2c {-o X6.c X6.ec}
+PASS: ./myec2c {-o X6.c X6.ec}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X6.lus {}
 PASS: ./lus2lic {-o X2.lic X2.lus}
 PASS: ./lus2lic {-ec -o X2.ec X2.lus}
 PASS: ./myec2c {-o X2.c X2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X2.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X2.lus {}
 PASS: ./lus2lic {-o X.lic X.lus}
 PASS: ./lus2lic {-ec -o X.ec X.lus}
 PASS: ./myec2c {-o X.c X.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X.lus 
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X.lus {}
 ==> lus2lic0.sum <==
 
 		=== lus2lic0 Summary ===
@@ -1696,39 +1676,37 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X.lus
 
 		=== lus2lic1 Summary ===
 
-# of expected passes		325
-# of unexpected failures	15
+# of expected passes		319
+# of unexpected failures	8
 
 ==> lus2lic2.sum <==
 
 		=== lus2lic2 Summary ===
 
-# of expected passes		305
-# of unexpected failures	6
+# of expected passes		304
+# of unexpected failures	2
 
 ==> lus2lic3.sum <==
 
 		=== lus2lic3 Summary ===
 
 # of expected passes		477
-# of unexpected failures	14
+# of unexpected failures	11
 
 ==> lus2lic4.sum <==
 
 		=== lus2lic4 Summary ===
 
-# of expected passes		427
-# of unexpected failures	7
+# of expected passes		430
+# of unexpected failures	5
 ===============================
-# Total number of failures: 42
+# Total number of failures: 26
 lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 87 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 101 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 76 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 116 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 44 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 73 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 56 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 81 seconds
 * Ref time: 
-0.11user 0.07system 3:54.03elapsed 0%CPU (0avgtext+0avgdata 2460maxresident)k
-0inputs+0outputs (0major+12495minor)pagefaults 0swaps
+0.10user 0.09system 4:17.16elapsed 0%CPU (0avgtext+0avgdata 2472maxresident)k
+0inputs+0outputs (0major+12546minor)pagefaults 0swaps
 * Quick time (-j 4):
-0.08user 0.04system 1:57.17elapsed 0%CPU (0avgtext+0avgdata 2460maxresident)k
-0inputs+0outputs (0major+12505minor)pagefaults 0swaps
diff --git a/test/lus2lic.time b/test/lus2lic.time
index 82362479..e54aed91 100644
--- a/test/lus2lic.time
+++ b/test/lus2lic.time
@@ -1,11 +1,9 @@
 lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 87 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 101 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 76 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 116 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 44 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 73 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 56 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 81 seconds
 * Ref time: 
-0.11user 0.07system 3:54.03elapsed 0%CPU (0avgtext+0avgdata 2460maxresident)k
-0inputs+0outputs (0major+12495minor)pagefaults 0swaps
+0.10user 0.09system 4:17.16elapsed 0%CPU (0avgtext+0avgdata 2472maxresident)k
+0inputs+0outputs (0major+12546minor)pagefaults 0swaps
 * Quick time (-j 4):
-0.08user 0.04system 1:57.17elapsed 0%CPU (0avgtext+0avgdata 2460maxresident)k
-0inputs+0outputs (0major+12505minor)pagefaults 0swaps
diff --git a/test/should_work/X6.lus b/test/should_work/X6.lus
index c4096246..48d5d6c3 100644
--- a/test/should_work/X6.lus
+++ b/test/should_work/X6.lus
@@ -7,18 +7,18 @@ returns
 	p,u : int;
 	q,r: int);
 var
- 	 c': bool when b;
-    d': bool when c';
-	p',u' : int when b;
-	q',r': int when c' ;
+ 	 c1: bool when b;
+    d1: bool when c1;
+	p1,u1 : int when b;
+	q1,r1: int when c1 ;
 let
-  m,c',d',p',u',q',r'= X6_clk(n,b);
-  c = current(c');
-  d = current(current(d'));
-  p = current(p');
-  u = current(u');
-  q = current(current(q'));
-  r = current(current(r'));
+  m,c1,d1,p1,u1,q1,r1= X6_clk(n,true->b);
+  c = current(c1);
+  d = current(current(d1));
+  p = current(p1);
+  u = current(u1);
+  q = current(current(q1));
+  r = current(current(r1));
 tel
   
 
@@ -30,10 +30,10 @@ returns
 	p,u : int when b;
 	q,r: int when c);
 let
-	c = (p>=(0 when b)) ;
+	c = true->(p>=(0 when b)) ;
 	p = n when b;
 	q = p when c;
-	d = q <=((10 when b) when c);
+	d =  true-> q <=((10 when b) when c);
 	r = current(q when d);
 	u = current(r);
 	m = current(u);
diff --git a/test/should_work/activation1.lus b/test/should_work/activation1.lus
index 53ac313a..ab43aa13 100644
--- a/test/should_work/activation1.lus
+++ b/test/should_work/activation1.lus
@@ -1,3 +1,4 @@
+-- nonreg: --expand-nodes
 node up(in: int) returns (out: int);
 let
   out = pre(in) + 1 ;
diff --git a/test/should_work/activation2.lus b/test/should_work/activation2.lus
index 906ea1a2..a95f5959 100644
--- a/test/should_work/activation2.lus
+++ b/test/should_work/activation2.lus
@@ -1,3 +1,5 @@
+-- nonreg: --expand-nodes
+
 node up(in: int) returns (out: int);
 let
   out = pre(in) + 1 ;
diff --git a/test/should_work/asservi.lus b/test/should_work/asservi.lus
index ef29c809..c32b762d 100644
--- a/test/should_work/asservi.lus
+++ b/test/should_work/asservi.lus
@@ -1,3 +1,4 @@
+-- nonreg: --expand-nodes
 type pendule;
 
 const T=0.1; L=2.0; G=10.0; 
diff --git a/test/should_work/filter.lus b/test/should_work/filter.lus
index fa0a8aa0..1faee611 100644
--- a/test/should_work/filter.lus
+++ b/test/should_work/filter.lus
@@ -1,3 +1,4 @@
+
 type 
   complexe = {x: real;  y: real};
   cdouble = {x: complexe; y: complexe};
diff --git a/test/should_work/speedcontrol.lus b/test/should_work/speedcontrol.lus
index d7adca04..4fda9f44 100644
--- a/test/should_work/speedcontrol.lus
+++ b/test/should_work/speedcontrol.lus
@@ -1,3 +1,4 @@
+-- nonreg: --expand-nodes
 node speedcontrol(c:bool;) returns (counter:int);
 let
  counter=(0)->f(counter);
diff --git a/test/site.exp b/test/site.exp
index 8993e88c..3e89a5db 100644
--- a/test/site.exp
+++ b/test/site.exp
@@ -1,4 +1,4 @@
-# Time-stamp: <modified the 26/08/2014 (at 10:00) by Erwan Jahier> 
+# Time-stamp: <modified the 27/08/2014 (at 10:45) by Erwan Jahier> 
 # 
 # (nonreg-)test harness main file
 
@@ -157,7 +157,7 @@ proc do_ecexe_vs_exec {f} {
     return 0
 }
 
-proc do_2c_vs_exec {f} {
+proc do_2c {f} {
     if { 
         [does_not_contain_string "$f" "extern"] &&
         [does_not_contain_string "$f" "package"] 
@@ -191,6 +191,16 @@ proc get_next_free_port {port} {
     return $port
 }
 
+# get the option (to pass to lus2lic) at the first line of the lustre file
+proc read_opt {f} {
+    set oc [open $f]
+    set line [gets $oc]  
+    set res ""
+    if { [string range $line 0 9] == "-- nonreg:" } {
+        set res [string range $line  10 end]
+    }
+    return $res
+}
 
 proc nonreg_exec_and_2c {files tmp} {
     global lus2lic
@@ -205,16 +215,17 @@ proc nonreg_exec_and_2c {files tmp} {
         set f_no_ext [file rootname $f]
         set bf [file tail $f_no_ext]
         set f [file tail $f]
+        set opt [read_opt $f]
         set node [file tail $f_no_ext]
 
 
         eval spawn "$lus2lic -o $bf.lic $f"
         wait -i $spawn_id
         if { [nonemptyfile "$bf.lic"] } {
-            set id1 [should_work "Generate c code  " "$lus2lic" "-2c $f -n $node"]
+            set id1 [should_work "Generate c code  " "$lus2lic $opt" "-2c $f -n $node"]
             wait -i $id1
         
-            if { [nonemptyfile "${node}_${node}.c"] } {
+            if { [nonemptyfile "${node}_${node}.c"]  && [do_2c "$f"] } {
                 if { [nonemptyfile "${node}_${node}_ext.c"] } {
                     set id2 [should_work "Check that the generated C code compiles  " \
              "gcc -o ${node}.exec ${node}_${node}.c ${node}_${node}_ext.c ${node}_${node}_loop.c"]
@@ -226,9 +237,9 @@ proc nonreg_exec_and_2c {files tmp} {
                 catch { exp_close -i $id2 }
                 catch { exp_wait  -i $id2 } output
             
-                if { [nonemptyfile "${node}.exec"] && [do_2c_vs_exec "$f"] } {
+                if { [nonemptyfile "${node}.exec"] && [do_2c "$f"] } {
                     set id3 [should_work "Try to compare lus2lic -exec and -2c" \
-                                 "$compare_exec_and_2c" "$f" "$port"]
+                                 "$compare_exec_and_2c" "$f" "$port" "$opt"]
                     catch { exp_close -i $id3 }
                     catch { exp_wait  -i $id3 } output                   
             }
@@ -240,6 +251,7 @@ proc nonreg_exec_and_2c {files tmp} {
     return 0
 }
 
+
 proc nonreg_exec_and_ecexe {files tmp} {
     global lus2lic
     global ec2c
@@ -254,6 +266,7 @@ proc nonreg_exec_and_ecexe {files tmp} {
         set f_no_ext [file rootname $f]
         set bf [file tail $f_no_ext]
         set f [file tail $f]
+        set opt [read_opt $f]
         set node [file tail $f_no_ext]
 
         set id1 [should_work "without any option" "$lus2lic" "-o $bf.lic $f"]
@@ -271,7 +284,7 @@ proc nonreg_exec_and_ecexe {files tmp} {
         
             if { [nonemptyfile "$bf.c"] && [do_ecexe_vs_exec "$f"] } {
                 set id4 [should_work "Try to compare lus2lic -exec and ecexe" \
-                         "$test_lus2lic_no_node" "$f" "$port"]
+                         "$test_lus2lic_no_node" "$f"  "$opt"]
                 catch { exp_close -i $id4 }
                 catch { exp_wait  -i $id4 } output
             }
diff --git a/todo.org b/todo.org
index 7cc5d13f..379c1d49 100644
--- a/todo.org
+++ b/todo.org
@@ -1,9 +1,9 @@
 #+TODO: TODO(!) STARTED(!) WAITING(!) | DONE(d!) CANCELED(c)
 #+CATEGORY: lv6
 
-* Failures spotted by non reg tests (42)
+* Failures spotted by non reg tests (26)
 
-** TODO Front-end error (4)
+** TODO Front-end error (2)
    - State "TODO"       from ""           [2014-08-26 Tue 10:20]
 
  cat lus2lic*.log | grep "FAIL: without any option:" | sed s/'FAIL: without any option:'/-/
@@ -15,34 +15,34 @@
 clock error.
 
 
-
-** TODO soc2c (12+5)
+** TODO soc2c (7)
    - State "TODO"       from ""           [2014-08-26 Tue 10:20]
 
 cat lus2lic*.log | grep "FAIL: Generate c code  :" | sed s/'FAIL: Generate c code  :'/-/
 
-1) ./lus2lic {-2c activation2.lus -n activation2}
-2) ./lus2lic {-2c activation1.lus -n activation1}
-3) ./lus2lic {-2c asservi.lus -n asservi}
-4) ./lus2lic {-2c cond01.lus -n cond01}
-5) ./lus2lic {-2c filter.lus -n filter}
-6) ./lus2lic {-2c left.lus -n left}
-7) ./lus2lic {-2c morel3.lus -n morel3}
-8) ./lus2lic {-2c morel4.lus -n morel4}
-9) ./lus2lic {-2c morel.lus -n morel}
-10) ./lus2lic {-2c morel2.lus -n morel2}
-11) ./lus2lic {-2c modes3x2-simu.lus -n modes3x2-simu}
-12) ./lus2lic {-2c speedcontrol.lus -n speedcontrol}
-
- cat lus2lic*.log | grep "FAIL: Check that the generated C code compiles" | sed s/'FAIL: Check that the generated C code compiles  :'/-/
-
-1. gcc -o arbitre.exec arbitre_arbitre.c arbitre_arbitre_ext.c arbitre_arbitre_loop.c 
-2. gcc -o decl.exec decl_decl.c decl_decl_ext.c decl_decl_loop.c 
-3. gcc -o import1.exec import1_import1.c import1_import1_ext.c import1_import1_loop.c 
-4. gcc -o simple.exec simple_simple.c simple_simple_loop.c 
-5. gcc -o when_tuple.exec when_tuple_when_tuple.c when_tuple_when_tuple_ext.c when_tuple_when_tuple_l
-
-** TODO ec2c (5)
+
+1) ./lus2lic -2c should_work/cond01.lus -n cond01
+   the type of + in condact<<+,0>> is not inferred
+
+2) ./lus2lic -2c should_work/filter.lus -n filter
+  a false cycle is detected  
+
+3) ./lus2lic -2c should_work/left.lus -n left
+   slices in left part
+
+4) ./lus2lic -2c should_work/morel3.lus -n morel3
+   slices in left part
+
+5) ./lus2lic -2c should_work/morel4.lus -n morel4
+   slices in left part
+
+6) ./lus2lic -2c should_work/morel.lus -n morel
+   slices in left part
+
+7) ./lus2lic -2c should_work/morel2.lus -n morel2
+   slices in left part
+
+** TODO ec2c (4)
    - State "TODO"       from ""           [2014-08-26 Tue 10:29]
 
  cat lus2lic*.log | grep "FAIL: Try ec2c on the result:" | sed s/'FAIL: Try ec2c on the result:'/-/
@@ -50,29 +50,25 @@ cat lus2lic*.log | grep "FAIL: Generate c code  :" | sed s/'FAIL: Generate c cod
 1. ./myec2c {-o array_concat.c array_concat.ec}
 2. ./myec2c {-o modes3x2_v4.c modes3x2_v4.ec}
 3. ./myec2c {-o modes3x2_v3.c modes3x2_v3.ec}
-4. ./myec2c {-o modes3x2-simu.c modes3x2-simu.ec}
-5. ./myec2c {-o test_merge.c test_merge.ec}
+4. ./myec2c {-o test_merge.c test_merge.ec}
    
-** TODO Divergences -exec et ecexe (13)
+** TODO Divergences -exec et ecexe (10)
    - State "TODO"       from ""           [2014-07-11 Fri 16:54]
 
  grep "FAIL:" lus2lic*.log | grep "exec" | grep "ecexe" | sed s/'FAIL: Try to compare lus2lic -exec and ecexe:'/-/
 
-1. ../utils/test_lus2lic_no_node should_work/Gyroscope2.lus
+1) ../utils/test_lus2lic_no_node should_work/Gyroscope2.lus
    -> ecexe : "#ERROR: Output takes on nil"
 
-2. ../utils/test_lus2lic_no_node should_work/test_node_expand2.lus
-3. ../utils/test_lus2lic_no_node should_work/test_node_expand.lus
-4. ../utils/test_lus2lic_no_node should_work/modes3x2_v2.lus
-5. ../utils/test_lus2lic_no_node should_work/filter.lus
-6. ../utils/test_lus2lic_no_node should_work/multipar.lus
-7. ../utils/test_lus2lic_no_node should_work/activation2.lus
-8. ../utils/test_lus2lic_no_node should_work/bob.lus
-9. ../utils/test_lus2lic_no_node should_work/test_condact.lus
-10. ../utils/test_lus2lic_no_node should_work/activation1.lus
-11. ../utils/test_lus2lic_no_node should_work/Gyroscope.lus
-12. ../utils/test_lus2lic_no_node should_work/cond01.lus
-13. ../utils/test_lus2lic_no_node should_work/speedcontrol.lus
+2) ../utils/test_lus2lic_no_node should_work/test_node_expand2.lus
+3) ../utils/test_lus2lic_no_node should_work/test_node_expand.lus
+4) ../utils/test_lus2lic_no_node should_work/modes3x2_v2.lus
+5) ../utils/test_lus2lic_no_node should_work/filter.lus
+6) ../utils/test_lus2lic_no_node should_work/multipar.lus
+7) ../utils/test_lus2lic_no_node should_work/bob.lus
+8) ../utils/test_lus2lic_no_node should_work/test_condact.lus
+9) ../utils/test_lus2lic_no_node should_work/Gyroscope.lus
+10) ../utils/test_lus2lic_no_node should_work/cond01.lus
 
 ** TODO divergence -exec et -2c (3)
    - State "TODO"       from ""           [2014-07-11 Fri 12:02]
@@ -97,6 +93,12 @@ chez Cedric  Pasteur qui a  une implementation pour optimiser  la maj
 des tableaux
 http://www.di.ens.fr/~pouzet/bib/lctes12.pdf
 
+** TODO lic2c : Ca plante si un identificateur lustre comporte un "'"
+
+bin oui, ca n'est pas legal en C. Du coup je fais quoi ?
+Je rejete ?
+
+
 ** TODO lic2c : Ca plante si un identificateur lustre se nomme double...
    - State "TODO"       from ""           [2014-06-13 Fri 16:59]
 ** TODO lic2c : types externes utilisés en I/O du main pas supportés
diff --git a/utils/compare_exec_and_2c b/utils/compare_exec_and_2c
index 5de35859..f024f945 100755
--- a/utils/compare_exec_and_2c
+++ b/utils/compare_exec_and_2c
@@ -6,6 +6,7 @@
 
 lustre_file=$1
 PORT=$2
+OPT=$3
 
 node=`basename $lustre_file .lus`
 _oracle=_"$node"_oracle.lus
@@ -19,7 +20,7 @@ env=_"$node"_env.lut
 set -x verbose #echo on
 
 if
-./lus2lic $lustre_file -n $node --gen-autotest -np;
+./lus2lic $OPT $lustre_file -n $node --gen-autotest -np;
 then
    echo "lus2lic --gen-autotest done" 
 else
@@ -32,7 +33,7 @@ cat $lustre_file  >> $_oracle;
 
 
 if
-    ./lus2lic $lustre_file -n $node  -2c -cc -o $node.exec;
+    ./lus2lic $OPT $lustre_file -n $node  -2c -cc -o $node.exec;
     
 then
     echo "lus2lic -2c done"
@@ -49,7 +50,7 @@ if
 ./lurettetop  -p 6  -seed 42 \
     -rp "sut:socket:127.0.0.1:$PORT" \
     -rp "env:lutin:$env" \
-    -rp "oracle:v6:$_oracle:$oracle" \
+    -rp "oracle:v6:$_oracle:$oracle:$OPT" \
     -go -l 10 -ns2c --stop-on-oracle-error;
 then
 echo "Comparison of lus2lic -2c and lus2lic -exec with lurette on $lustre_file: ok"
diff --git a/utils/test_lus2lic_no_node b/utils/test_lus2lic_no_node
index 6ed9e482..528a4174 100755
--- a/utils/test_lus2lic_no_node
+++ b/utils/test_lus2lic_no_node
@@ -5,6 +5,7 @@
 #   lus2lic -exec
 
 lustre_file=$1
+OPT=$2
 node=`basename $lustre_file .lus`
 _oracle=_"$node"_oracle.lus
 oracle="$node"_oracle
@@ -17,7 +18,7 @@ env=_"$node"_env.lut
 set -x verbose #echo on
 
 if
-./lus2lic $lustre_file -n $node --gen-autotest -np;
+./lus2lic $OPT $lustre_file -n $node --gen-autotest -np;
 then
    echo "lus2lic --gen-autotest done" 
 else
@@ -61,7 +62,7 @@ if
 ./lurettetop -p 6  -seed 42 \
     -rp "sut:ec:$ec:$lv4_node" \
     -rp "env:lutin:$env" \
-    -rp "oracle:v6:$_oracle:$oracle" \
+    -rp "oracle:v6:$_oracle:$oracle:$OPT" \
     -go -l 10 -ns2c --stop-on-oracle-error;
 then
 echo "lurettetop ok"
-- 
GitLab