diff --git a/Makefile.version.hide b/Makefile.version.hide
index d851694973061edebe5466bcdc33b0cd8e838e81..6663622e68f04bca5718ddee3fd1fd77b16dcf9b 100644
--- a/Makefile.version.hide
+++ b/Makefile.version.hide
@@ -16,7 +16,7 @@ gen_version:
 
 src/lv6version.ml: Makefile
 	echo "(** Automatically generated from Makefile *) " > $@
-	echo "let tool = \"lus2lic\"" >> $@
+	echo "let tool = \"lv6\"" >> $@
 	echo "let branch = \"$(shell utils/get_branch_name)\"" >> $@
 	echo "let commit = \"$(shell utils/get_commit_number)\"" >> $@
 	echo "let sha_1 = \"$(shell utils/get_sha_1)"\">> $@
diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index dddcc882ba41acda917edd0871b95989c5e7e7bf..e755723acbfa65fdca6365c1a00d4f881d92bf44 100644
Binary files a/lv6-ref-man/lv6-ref-man.pdf and b/lv6-ref-man/lv6-ref-man.pdf differ
diff --git a/src/lv6version.ml b/src/lv6version.ml
index 790d471ba5e991ac5041b02f33b673a54466943c..8050c50f3547b6a45259e102160ab15dd7d8053b 100644
--- a/src/lv6version.ml
+++ b/src/lv6version.ml
@@ -1,7 +1,7 @@
 (** Automatically generated from Makefile *) 
-let tool = "lv6"
+let tool = "lus2lic"
 let branch = "master"
 let commit = "740"
-let sha_1 = "6538b8cc11e3c17178b9a6a8972fdc5fa799661a"
+let sha_1 = "9028b48ed7a2b4c9c62ac8792ca4a15204d05b7c"
 let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
 let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"
diff --git a/src/main.ml b/src/main.ml
index d99b05ea827561c3bdfeda6e0076a9aafdb5ed44..43782461081a661b73e9fa4a4ebdc54dc6da106d 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 01/06/2018 (at 10:26) by Erwan Jahier> *)
+(* Time-stamp: <modified the 03/07/2018 (at 15:28) by Erwan Jahier> *)
 
 open Lv6Verbose
 open AstV6
@@ -304,7 +304,9 @@ let main () = (
           if opt.exec then (
             profile_info "Start interpreting soc...\n";
             SocExec.f opt zesoc msk)
-      ) else if (opt.gen_lic) then (
+      ) else if (
+      opt.gen_lic || global_opt.ec || global_opt.lv4 || global_opt.kcg
+    ) then (
       LicPrg.to_file opt lic_prg main_node
     ) else (
       Printf.printf "\
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index 9aada96272df05436d0dd09a74976239fac0f3b2..ca7cbe9972dcc6cbd3630ca3c5a65ac486763a56 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,5 +1,5 @@
 ==> lus2lic0.sum <==
-Test Run By jahier on Fri Apr 27 13:48:05 
+Test Run By jahier on Tue Jul  3 16:36:38 
 Native configuration is x86_64-unknown-linux-gnu
 
 		=== lus2lic0 tests ===
@@ -66,7 +66,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
 XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
 
 ==> lus2lic1.sum <==
-Test Run By jahier on Fri Apr 27 13:48:05 
+Test Run By jahier on Tue Jul  3 16:36:39 
 Native configuration is x86_64-unknown-linux-gnu
 
 		=== lus2lic1 tests ===
@@ -409,7 +409,7 @@ PASS: sh multipar.sh
 PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus  {}
 
 ==> lus2lic2.sum <==
-Test Run By jahier on Fri Apr 27 13:48:47 
+Test Run By jahier on Tue Jul  3 16:37:01 
 Native configuration is x86_64-unknown-linux-gnu
 
 		=== lus2lic2 tests ===
@@ -749,7 +749,7 @@ PASS: sh zzz2.sh
 PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus  {}
 
 ==> lus2lic3.sum <==
-Test Run By jahier on Fri Apr 27 13:49:32 
+Test Run By jahier on Tue Jul  3 16:37:27 
 Native configuration is x86_64-unknown-linux-gnu
 
 		=== lus2lic3 tests ===
@@ -759,506 +759,506 @@ Schedule of variations:
 
 Running target unix
 Running ./lus2lic.tests/test3.exp ...
-PASS: ./lus2lic {} {-o COUNTER.lic COUNTER.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o CURRENT.lic CURRENT.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o Condact.lic Condact.lus}
+PASS: ./lus2lic {} {-lic -o Condact.lic Condact.lus}
 PASS: ./lus2lic {-ec -o Condact.ec Condact.lus}
 PASS: ./myec2c {-o Condact.c Condact.ec}
-PASS: ./lus2lic {} {-o EDGE.lic EDGE.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ELMU.lic ELMU.lus}
+PASS: ./lus2lic {} {-lic -o ELMU.lic ELMU.lus}
 PASS: ./lus2lic {-ec -o ELMU.ec ELMU.lus}
 PASS: ./myec2c {-o ELMU.c ELMU.ec}
-PASS: ./lus2lic {} {-o FALLING_EDGE.lic FALLING_EDGE.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o FillFollowedByRed.lic FillFollowedByRed.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o Gyroscope.lic Gyroscope.lus}
+PASS: ./lus2lic {} {-lic -o Gyroscope.lic Gyroscope.lus}
 PASS: ./lus2lic {-ec -o Gyroscope.ec Gyroscope.lus}
 PASS: ./myec2c {-o Gyroscope.c Gyroscope.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus {}
-PASS: ./lus2lic {} {-o Gyroscope2.lic Gyroscope2.lus}
+PASS: ./lus2lic {} {-lic -o Gyroscope2.lic Gyroscope2.lus}
 PASS: ./lus2lic {-ec -o Gyroscope2.ec Gyroscope2.lus}
 PASS: ./myec2c {-o Gyroscope2.c Gyroscope2.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus {}
-PASS: ./lus2lic {} {-o aa.lic aa.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o access.lic access.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic { --expand-nodes} {-o activation1.lic activation1.lus}
+PASS: ./lus2lic { --expand-nodes} {-lic -o activation1.lic activation1.lus}
 PASS: ./lus2lic {-ec -o activation1.ec activation1.lus}
 PASS: ./myec2c {-o activation1.c activation1.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus { --expand-nodes}
-PASS: ./lus2lic { --expand-nodes} {-o activation2.lic activation2.lus}
+PASS: ./lus2lic { --expand-nodes} {-lic -o activation2.lic activation2.lus}
 PASS: ./lus2lic {-ec -o activation2.ec activation2.lus}
 PASS: ./myec2c {-o activation2.c activation2.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus { --expand-nodes}
-PASS: ./lus2lic {} {-o activation_ec.lic activation_ec.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o after.lic after.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o alias.lic alias.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o amaury.lic amaury.lus}
+PASS: ./lus2lic {} {-lic -o amaury.lic amaury.lus}
 PASS: ./lus2lic {-ec -o amaury.ec amaury.lus}
 PASS: ./myec2c {-o amaury.c amaury.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node amaury.lus {}
-PASS: ./lus2lic {} {-o arbitre.lic arbitre.lus}
+PASS: ./lus2lic {} {-lic -o arbitre.lic arbitre.lus}
 PASS: ./lus2lic {-ec -o arbitre.ec arbitre.lus}
 PASS: ./myec2c {-o arbitre.c arbitre.ec}
-PASS: ./lus2lic {} {-o argos.lic argos.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o array_concat.lic array_concat.lus}
+PASS: ./lus2lic {} {-lic -o array_concat.lic array_concat.lus}
 PASS: ./lus2lic {-ec -o array_concat.ec array_concat.lus}
 PASS: ./myec2c {-o array_concat.c array_concat.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat.lus {}
-PASS: ./lus2lic {} {-o array_concat2.lic array_concat2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o array_equals.lic array_equals.lus}
+PASS: ./lus2lic {} {-lic -o array_equals.lic array_equals.lus}
 PASS: ./lus2lic {-ec -o array_equals.ec array_equals.lus}
 PASS: ./myec2c {-o array_equals.c array_equals.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_equals.lus {}
-PASS: ./lus2lic {} {-o arrays.lic arrays.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic { --expand-nodes} {-o asservi.lic asservi.lus}
+PASS: ./lus2lic { --expand-nodes} {-lic -o asservi.lic asservi.lus}
 PASS: ./lus2lic {-ec -o asservi.ec asservi.lus}
 PASS: ./myec2c {-o asservi.c asservi.ec}
-PASS: ./lus2lic {} {-o bad_call03.lic bad_call03.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o bascule.lic bascule.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o bob.lic bob.lus}
+PASS: ./lus2lic {} {-lic -o bob.lic bob.lus}
 PASS: ./lus2lic {-ec -o bob.ec bob.lus}
 PASS: ./myec2c {-o bob.c bob.ec}
 UNRESOLVED: Time out: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus {}
-PASS: ./lus2lic {} {-o bred.lic bred.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o bred_lv4.lic bred_lv4.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o bug.lic bug.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o bug2.lic bug2.lus}
+PASS: ./lus2lic {} {-lic -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 {}
-FAIL: without any option: ./lus2lic {} {-o bug_map_fby.lic bug_map_fby.lus}
-PASS: ./lus2lic {} {-o calculs_max.lic calculs_max.lus}
+FAIL: without any option: ./lus2lic {} {-lic -o bug_map_fby.lic bug_map_fby.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o call.lic call.lus}
+PASS: ./lus2lic {} {-lic -o call.lic call.lus}
 PASS: ./lus2lic {-ec -o call.ec call.lus}
 PASS: ./myec2c {-o call.c call.ec}
-PASS: ./lus2lic {} {-o call01.lic call01.lus}
+PASS: ./lus2lic {} {-lic -o call01.lic call01.lus}
 PASS: ./lus2lic {-ec -o call01.ec call01.lus}
 PASS: ./myec2c {-o call01.c call01.ec}
-PASS: ./lus2lic {} {-o call02.lic call02.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o call03.lic call03.lus}
+PASS: ./lus2lic {} {-lic -o call03.lic call03.lus}
 PASS: ./lus2lic {-ec -o call03.ec call03.lus}
 PASS: ./myec2c {-o call03.c call03.ec}
-PASS: ./lus2lic {} {-o call04.lic call04.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o call05.lic call05.lus}
+PASS: ./lus2lic {} {-lic -o call05.lic call05.lus}
 PASS: ./lus2lic {-ec -o call05.ec call05.lus}
 PASS: ./myec2c {-o call05.c call05.ec}
-PASS: ./lus2lic {} {-o call06.lic call06.lus}
+PASS: ./lus2lic {} {-lic -o call06.lic call06.lus}
 PASS: ./lus2lic {-ec -o call06.ec call06.lus}
 PASS: ./myec2c {-o call06.c call06.ec}
-PASS: ./lus2lic {} {-o call07.lic call07.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o carV2.lic carV2.lus}
+PASS: ./lus2lic {} {-lic -o carV2.lic carV2.lus}
 PASS: ./lus2lic {-ec -o carV2.ec carV2.lus}
 PASS: ./myec2c {-o carV2.c carV2.ec}
-PASS: ./lus2lic {} {-o carligths.lic carligths.lus}
+PASS: ./lus2lic {} {-lic -o carligths.lic carligths.lus}
 PASS: ./lus2lic {-ec -o carligths.ec carligths.lus}
 PASS: ./myec2c {-o carligths.c carligths.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node carligths.lus {}
-PASS: ./lus2lic {} {-o ck2.lic ck2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ck3.lic ck3.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ck4.lic ck4.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ck5.lic ck5.lus}
+PASS: ./lus2lic {} {-lic -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 {}
-FAIL: without any option: ./lus2lic {} {-o ck6.lic ck6.lus}
-PASS: ./lus2lic {} {-o ck7.lic ck7.lus}
+FAIL: without any option: ./lus2lic {} {-lic -o ck6.lic ck6.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o clock1_2ms.lic clock1_2ms.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o clock_ite.lic clock_ite.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o cminus.lic cminus.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o complex.lic complex.lus}
+PASS: ./lus2lic {} {-lic -o complex.lic complex.lus}
 PASS: ./lus2lic {-ec -o complex.ec complex.lus}
 PASS: ./myec2c {-o complex.c complex.ec}
-PASS: ./lus2lic {} {-o compteur.lic compteur.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o cond01.lic cond01.lus}
+PASS: ./lus2lic {} {-lic -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 {}
-PASS: ./lus2lic {} {-o consensus.lic consensus.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o consensus2.lic consensus2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o contractForElementSelectionInArray.lic contractForElementSelectionInArray.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o convert.lic convert.lus}
+PASS: ./lus2lic {} {-lic -o convert.lic convert.lus}
 PASS: ./lus2lic {-ec -o convert.ec convert.lus}
 PASS: ./myec2c {-o convert.c convert.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node convert.lus {}
-PASS: ./lus2lic {} {-o count.lic count.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o cpt.lic cpt.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o cst.lic cst.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic { dadic.lv6} {-o dadic_x5_a.lic dadic_x5_a.lus}
-PASS: ./lus2lic { dadic.lv6} {-o dadic_x5_b.lic dadic_x5_b.lus}
-FAIL: without any option: ./lus2lic {} {-o dadic_x5_c.lic dadic_x5_c.lus}
-PASS: ./lus2lic {} {-o deSimone.lic deSimone.lus}
+PASS: ./lus2lic { dadic.lv6} {-lic -o dadic_x5_a.lic dadic_x5_a.lus}
+PASS: ./lus2lic { dadic.lv6} {-lic -o dadic_x5_b.lic dadic_x5_b.lus}
+FAIL: without any option: ./lus2lic {} {-lic -o dadic_x5_c.lic dadic_x5_c.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o decl.lic decl.lus}
+PASS: ./lus2lic {} {-lic -o decl.lic decl.lus}
 PASS: ./lus2lic {-ec -o decl.ec decl.lus}
 PASS: ./myec2c {-o decl.c decl.ec}
-PASS: ./lus2lic {} {-o declaration.lic declaration.lus}
+PASS: ./lus2lic {} {-lic -o declaration.lic declaration.lus}
 PASS: ./lus2lic {-ec -o declaration.ec declaration.lus}
 PASS: ./myec2c {-o declaration.c declaration.ec}
-PASS: ./lus2lic {} {-o deconne.lic deconne.lus}
+PASS: ./lus2lic {} {-lic -o deconne.lic deconne.lus}
 PASS: ./lus2lic {-ec -o deconne.ec deconne.lus}
 PASS: ./myec2c {-o deconne.c deconne.ec}
-PASS: ./lus2lic {} {-o dep.lic dep.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o depend.lic depend.lus}
+PASS: ./lus2lic {} {-lic -o depend.lic depend.lus}
 PASS: ./lus2lic {-ec -o depend.ec depend.lus}
 PASS: ./myec2c {-o depend.c depend.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node depend.lus {}
-PASS: ./lus2lic {} {-o dependeur.lic dependeur.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o dependeur_struct.lic dependeur_struct.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o double_delay.lic double_delay.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ec.lic ec.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o enum0.lic enum0.lus}
+PASS: ./lus2lic {} {-lic -o enum0.lic enum0.lus}
 PASS: ./lus2lic {-ec -o enum0.ec enum0.lus}
 PASS: ./myec2c {-o enum0.c enum0.ec}
-PASS: ./lus2lic {} {-o ex.lic ex.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o exclusion.lic exclusion.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o filliter.lic filliter.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o filter.lic filter.lus}
+PASS: ./lus2lic {} {-lic -o filter.lic filter.lus}
 PASS: ./lus2lic {-ec -o filter.ec filter.lus}
 PASS: ./myec2c {-o filter.c filter.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filter.lus {}
-PASS: ./lus2lic {} {-o flo.lic flo.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o followed_by.lic followed_by.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o fresh_name.lic fresh_name.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o func_with_body.lic func_with_body.lus}
+PASS: ./lus2lic {} {-lic -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 hanane.lic hanane.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o heater_control.lic heater_control.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o impl_priority.lic impl_priority.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o import1.lic import1.lus}
+PASS: ./lus2lic {} {-lic -o import1.lic import1.lus}
 PASS: ./lus2lic {-ec -o import1.ec import1.lus}
 PASS: ./myec2c {-o import1.c import1.ec}
-PASS: ./lus2lic {} {-o initial.lic initial.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o integrator.lic integrator.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o is_stable.lic is_stable.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o iter.lic iter.lus}
+PASS: ./lus2lic {} {-lic -o iter.lic iter.lus}
 PASS: ./lus2lic {-ec -o iter.ec iter.lus}
 PASS: ./myec2c {-o iter.c iter.ec}
 FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iter.lus {}
-PASS: ./lus2lic {} {-o iterFibo.lic iterFibo.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o iterate.lic iterate.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o left.lic left.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o long_et_stupide_nom_de_noeud.lic long_et_stupide_nom_de_noeud.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o lucky.lic lucky.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o lustre_test1_ok.lic lustre_test1_ok.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o map_red_iter.lic map_red_iter.lus}
+PASS: ./lus2lic {} {-lic -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 mapdeRed.lic mapdeRed.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mapinf.lic mapinf.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mapiter.lic mapiter.lus}
+PASS: ./lus2lic {} {-lic -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 mappredef.lic mappredef.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o matrice.lic matrice.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o matrice2.lic matrice2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o minmax1.lic minmax1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o minmax2.lic minmax2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o minmax3.lic minmax3.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o minmax4.lic minmax4.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o minmax4_bis.lic minmax4_bis.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o minmax5.lic minmax5.lus}
+PASS: ./lus2lic {} {-lic -o minmax5.lic minmax5.lus}
 PASS: ./lus2lic {-ec -o minmax5.ec minmax5.lus}
 PASS: ./myec2c {-o minmax5.c minmax5.ec}
-PASS: ./lus2lic {} {-o minmax5_random.lic minmax5_random.lus}
+PASS: ./lus2lic {} {-lic -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 minmax6.lic minmax6.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o minus.lic minus.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mm.lic mm.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mm1.lic mm1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mm22.lic mm22.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mm3.lic mm3.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o modelInst.lic modelInst.lus}
+PASS: ./lus2lic {} {-lic -o modelInst.lic modelInst.lus}
 PASS: ./lus2lic {-ec -o modelInst.ec modelInst.lus}
 PASS: ./myec2c {-o modelInst.c modelInst.ec}
-PASS: ./lus2lic {} {-o modes3x2_v2.lic modes3x2_v2.lus}
+PASS: ./lus2lic {} {-lic -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}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus {}
-PASS: ./lus2lic {} {-o modes3x2_v3.lic modes3x2_v3.lus}
+PASS: ./lus2lic {} {-lic -o modes3x2_v3.lic modes3x2_v3.lus}
 PASS: ./lus2lic {-ec -o modes3x2_v3.ec modes3x2_v3.lus}
-PASS: ./lus2lic {} {-o modes3x2_v4.lic modes3x2_v4.lus}
+PASS: ./lus2lic {} {-lic -o modes3x2_v4.lic modes3x2_v4.lus}
 PASS: ./lus2lic {-ec -o modes3x2_v4.ec modes3x2_v4.lus}
-PASS: ./lus2lic {} {-o morel.lic morel.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o morel2.lic morel2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o morel3.lic morel3.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o morel4.lic morel4.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o morel5.lic morel5.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mouse.lic mouse.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mouse1.lic mouse1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mouse2.lic mouse2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o mouse3.lic mouse3.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o moyenne.lic moyenne.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o multiclock.lic multiclock.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o multipar.lic multipar.lus}
+PASS: ./lus2lic {} {-lic -o multipar.lic multipar.lus}
 PASS: ./lus2lic {-ec -o multipar.ec multipar.lus}
 PASS: ./myec2c {-o multipar.c multipar.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
 
 
 ==> lus2lic4.sum <==
-Test Run By jahier on Fri Apr 27 13:50:30 
+Test Run By jahier on Tue Jul  3 16:38:06 
 Native configuration is x86_64-unknown-linux-gnu
 
 		=== lus2lic4 tests ===
@@ -1268,474 +1268,474 @@ Schedule of variations:
 
 Running target unix
 Running ./lus2lic.tests/test4.exp ...
-FAIL: without any option: ./lus2lic {} {-o PCOND.lic PCOND.lus}
-FAIL: without any option: ./lus2lic {} {-o PCOND1.lic PCOND1.lus}
-PASS: ./lus2lic {} {-o SOURIS.lic SOURIS.lus}
+FAIL: without any option: ./lus2lic {} {-lic -o PCOND.lic PCOND.lus}
+FAIL: without any option: ./lus2lic {} {-lic -o PCOND1.lic PCOND1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o STABLE.lic STABLE.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o SWITCH.lic SWITCH.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o SWITCH1.lic SWITCH1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o TIME_STABLE.lic TIME_STABLE.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o TIME_STABLE1.lic TIME_STABLE1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o Watch.lic Watch.lus}
+PASS: ./lus2lic {} {-lic -o Watch.lic Watch.lus}
 PASS: ./lus2lic {-ec -o Watch.ec Watch.lus}
 PASS: ./myec2c {-o Watch.c Watch.ec}
-PASS: ./lus2lic {} {-o X.lic X.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o X2.lic X2.lus}
+PASS: ./lus2lic {} {-lic -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 {}
-FAIL: without any option: ./lus2lic {} {-o X6.lic X6.lus}
-PASS: ./lus2lic {} {-o Xr.lic Xr.lus}
+FAIL: without any option: ./lus2lic {} {-lic -o X6.lic X6.lus}
+PASS: ./lus2lic {} {-lic -o Xr.lic Xr.lus}
 PASS: ./lus2lic {-ec -o Xr.ec Xr.lus}
 PASS: ./myec2c {-o Xr.c Xr.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Xr.lus {}
-PASS: ./lus2lic {} {-o nc1.lic nc1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc10.lic nc10.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc2.lic nc2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc3.lic nc3.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc4.lic nc4.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc5.lic nc5.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc6.lic nc6.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc7.lic nc7.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc8.lic nc8.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nc9.lic nc9.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nested.lic nested.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o newpacks.lic newpacks.lus}
+PASS: ./lus2lic {} {-lic -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 {} {-lic -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: ./lus2lic {} {-o node_caller1.lic node_caller1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o nodeparam.lic nodeparam.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o noeudsIndependants.lic noeudsIndependants.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o noinput.lic noinput.lus}
+PASS: ./lus2lic {} {-lic -o noinput.lic noinput.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o noinput.ec noinput.lus}
-PASS: ./lus2lic {} {-o normal.lic normal.lus}
+PASS: ./lus2lic {} {-lic -o normal.lic normal.lus}
 PASS: ./lus2lic {-ec -o normal.ec normal.lus}
 PASS: ./myec2c {-o normal.c normal.ec}
-PASS: ./lus2lic {} {-o notTwo.lic notTwo.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o o2l_feux_compl.lic o2l_feux_compl.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o oneq.lic oneq.lus}
+PASS: ./lus2lic {} {-lic -o oneq.lic oneq.lus}
 PASS: ./lus2lic {-ec -o oneq.ec oneq.lus}
 PASS: ./myec2c {-o oneq.c oneq.ec}
-PASS: ./lus2lic {} {-o onlyroll.lic onlyroll.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o onlyroll2.lic onlyroll2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o over2.lic over2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o over3.lic over3.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o overload.lic overload.lus}
+PASS: ./lus2lic {} {-lic -o overload.lic overload.lus}
 PASS: ./lus2lic {-ec -o overload.ec overload.lus}
 PASS: ./myec2c {-o overload.c overload.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node overload.lus {}
-PASS: ./lus2lic {} {-o p.lic p.lus}
+PASS: ./lus2lic {} {-lic -o p.lic p.lus}
 PASS: ./lus2lic {-ec -o p.ec p.lus}
 PASS: ./myec2c {-o p.c p.ec}
-PASS: ./lus2lic {} {-o pack1.lic pack1.lus}
+PASS: ./lus2lic {} {-lic -o pack1.lic pack1.lus}
 PASS: ./lus2lic {-ec -o pack1.ec pack1.lus}
 PASS: ./myec2c {-o pack1.c pack1.ec}
-PASS: ./lus2lic {} {-o packageTableau.lic packageTableau.lus}
+PASS: ./lus2lic {} {-lic -o packageTableau.lic packageTableau.lus}
 PASS: ./lus2lic {-ec -o packageTableau.ec packageTableau.lus}
 PASS: ./myec2c {-o packageTableau.c packageTableau.ec}
-PASS: ./lus2lic {} {-o packed_cst.lic packed_cst.lus}
+PASS: ./lus2lic {} {-lic -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 packs.lic packs.lus}
+PASS: ./lus2lic {} {-lic -o packs.lic packs.lus}
 PASS: ./lus2lic {-ec -o packs.ec packs.lus}
 PASS: ./myec2c {-o packs.c packs.ec}
-PASS: ./lus2lic {} {-o param_node.lic param_node.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o param_node2.lic param_node2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o param_node3.lic param_node3.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o param_node4.lic param_node4.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o param_struct.lic param_struct.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic { --expand-nodes} {-o pilote.lic pilote.lus}
+PASS: ./lus2lic { --expand-nodes} {-lic -o pilote.lic pilote.lus}
 PASS: ./lus2lic {-ec -o pilote.ec pilote.lus}
 PASS: ./myec2c {-o pilote.c pilote.ec}
-PASS: ./lus2lic {} {-o pipeline.lic pipeline.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o plus.lic plus.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ply01.lic ply01.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ply02.lic ply02.lus}
+PASS: ./lus2lic {} {-lic -o ply02.lic ply02.lus}
 PASS: ./lus2lic {-ec -o ply02.ec ply02.lus}
 PASS: ./myec2c {-o ply02.c ply02.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply02.lus {}
-PASS: ./lus2lic {} {-o ply03.lic ply03.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o polymorphic_pack.lic polymorphic_pack.lus}
+PASS: ./lus2lic {} {-lic -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 poussoir.lic poussoir.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o pplus.lic pplus.lus}
+PASS: ./lus2lic {} {-lic -o pplus.lic pplus.lus}
 PASS: ./lus2lic {-ec -o pplus.ec pplus.lus}
 PASS: ./myec2c {-o pplus.c pplus.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pplus.lus {}
-PASS: ./lus2lic {} {-o pre_x.lic pre_x.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o predef01.lic predef01.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o predef02.lic predef02.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o predef03.lic predef03.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o predefOp.lic predefOp.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o produitBool.lic produitBool.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o real_ex.lic real_ex.lus}
+PASS: ./lus2lic {} {-lic -o real_ex.lic real_ex.lus}
 PASS: ./lus2lic {-ec -o real_ex.ec real_ex.lus}
 PASS: ./myec2c {-o real_ex.c real_ex.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node real_ex.lus {}
-PASS: ./lus2lic {} {-o redIf.lic redIf.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o rediter.lic rediter.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o redoptest.lic redoptest.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o remplissage.lic remplissage.lus}
+PASS: ./lus2lic {} {-lic -o remplissage.lic remplissage.lus}
 PASS: ./lus2lic {-ec -o remplissage.ec remplissage.lus}
 PASS: ./myec2c {-o remplissage.c remplissage.ec}
-PASS: ./lus2lic {} {-o rs.lic rs.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o sample_time_change.lic sample_time_change.lus}
+PASS: ./lus2lic {} {-lic -o sample_time_change.lic sample_time_change.lus}
 PASS: ./lus2lic {-ec -o sample_time_change.ec sample_time_change.lus}
 PASS: ./myec2c {-o sample_time_change.c sample_time_change.ec}
 FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change.lus {}
-PASS: ./lus2lic {} {-o sample_time_change_MainNode.lic sample_time_change_MainNode.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o shiftFill_ludic.lic shiftFill_ludic.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o shift_ludic.lic shift_ludic.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o simple.lic simple.lus}
+PASS: ./lus2lic {} {-lic -o simple.lic simple.lus}
 PASS: ./lus2lic {-ec -o simple.ec simple.lus}
 PASS: ./myec2c {-o simple.c simple.ec}
-PASS: ./lus2lic {} {-o simpleRed.lic simpleRed.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o sincos.lic sincos.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic { --expand-nodes} {-o speedcontrol.lic speedcontrol.lus}
+PASS: ./lus2lic { --expand-nodes} {-lic -o speedcontrol.lic speedcontrol.lus}
 PASS: ./lus2lic {-ec -o speedcontrol.ec speedcontrol.lus}
 PASS: ./myec2c {-o speedcontrol.c speedcontrol.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus { --expand-nodes}
-PASS: ./lus2lic {} {-o sqrt.lic sqrt.lus}
+PASS: ./lus2lic {} {-lic -o sqrt.lic sqrt.lus}
 PASS: ./lus2lic {-ec -o sqrt.ec sqrt.lus}
 PASS: ./myec2c {-o sqrt.c sqrt.ec}
-PASS: ./lus2lic {} {-o stopwatch.lic stopwatch.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o struct0.lic struct0.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o struct_equality.lic struct_equality.lus}
+PASS: ./lus2lic {} {-lic -o struct_equality.lic struct_equality.lus}
 PASS: ./lus2lic {-ec -o struct_equality.ec struct_equality.lus}
 PASS: ./myec2c {-o struct_equality.c struct_equality.ec}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_equality.lus {}
-PASS: ./lus2lic {} {-o struct_with.lic struct_with.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o t0.lic t0.lus}
+PASS: ./lus2lic {} {-lic -o t0.lic t0.lus}
 PASS: ./lus2lic {-ec -o t0.ec t0.lus}
 PASS: ./myec2c {-o t0.c t0.ec}
-PASS: ./lus2lic {} {-o t1.lic t1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o t2.lic t2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o test.lic test.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o testBoite.lic testBoite.lus}
+PASS: ./lus2lic {} {-lic -o testBoite.lic testBoite.lus}
 PASS: ./lus2lic {-ec -o testBoite.ec testBoite.lus}
 PASS: ./myec2c {-o testBoite.c testBoite.ec}
-PASS: ./lus2lic {} {-o testCA.lic testCA.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o testCapt.lic testCapt.lus}
+PASS: ./lus2lic {} {-lic -o testCapt.lic testCapt.lus}
 PASS: ./lus2lic {-ec -o testCapt.ec testCapt.lus}
 PASS: ./myec2c {-o testCapt.c testCapt.ec}
-PASS: ./lus2lic {} {-o testPilote.lic testPilote.lus}
+PASS: ./lus2lic {} {-lic -o testPilote.lic testPilote.lus}
 PASS: ./lus2lic {-ec -o testPilote.ec testPilote.lus}
 PASS: ./myec2c {-o testPilote.c testPilote.ec}
-PASS: ./lus2lic {} {-o test_Int.lic test_Int.lus}
+PASS: ./lus2lic {} {-lic -o test_Int.lic test_Int.lus}
 PASS: ./lus2lic {-ec -o test_Int.ec test_Int.lus}
 PASS: ./myec2c {-o test_Int.c test_Int.ec}
-PASS: ./lus2lic {} {-o test_arrow.lic test_arrow.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o test_boolred.lic test_boolred.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o test_clash.lic test_clash.lus}
+PASS: ./lus2lic {} {-lic -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 test_condact.lic test_condact.lus}
+PASS: ./lus2lic {} {-lic -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}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus {}
-PASS: ./lus2lic {} {-o test_const.lic test_const.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o test_diese.lic test_diese.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o test_enum.lic test_enum.lus}
+PASS: ./lus2lic {} {-lic -o test_enum.lic test_enum.lus}
 PASS: ./lus2lic {-ec -o test_enum.ec test_enum.lus}
 PASS: ./myec2c {-o test_enum.c test_enum.ec}
-PASS: ./lus2lic {} {-o test_extern.lic test_extern.lus}
+PASS: ./lus2lic {} {-lic -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 test_lustre.lic test_lustre.lus}
+PASS: ./lus2lic {} {-lic -o test_lustre.lic test_lustre.lus}
 PASS: ./lus2lic {-ec -o test_lustre.ec test_lustre.lus}
 PASS: ./myec2c {-o test_lustre.c test_lustre.ec}
-PASS: ./lus2lic {} {-o test_map.lic test_map.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o test_merge.lic test_merge.lus}
+PASS: ./lus2lic {} {-lic -o test_merge.lic test_merge.lus}
 PASS: ./lus2lic {-ec -o test_merge.ec test_merge.lus}
-PASS: ./lus2lic {} {-o test_model.lic test_model.lus}
+PASS: ./lus2lic {} {-lic -o test_model.lic test_model.lus}
 PASS: ./lus2lic {-ec -o test_model.ec test_model.lus}
 PASS: ./myec2c {-o test_model.c test_model.ec}
-FAIL: without any option: ./lus2lic {} {-o test_model2.lic test_model2.lus}
-PASS: ./lus2lic {} {-o test_node_expand.lic test_node_expand.lus}
+FAIL: without any option: ./lus2lic {} {-lic -o test_model2.lic test_model2.lus}
+PASS: ./lus2lic {} {-lic -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}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand.lus {}
-PASS: ./lus2lic {} {-o test_node_expand2.lic test_node_expand2.lus}
+PASS: ./lus2lic {} {-lic -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}
 PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus {}
-PASS: ./lus2lic {} {-o test_poly.lic test_poly.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o test_struct.lic test_struct.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o titi.lic titi.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o toolate.lic toolate.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o toto.lic toto.lus}
+PASS: ./lus2lic {} {-lic -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 {}
-FAIL: without any option: ./lus2lic {} {-o tranche.lic tranche.lus}
-PASS: ./lus2lic {} {-o tri.lic tri.lus}
+FAIL: without any option: ./lus2lic {} {-lic -o tranche.lic tranche.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o triSel.lic triSel.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o trivial.lic trivial.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o trivial2.lic trivial2.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o trivial_array.lic trivial_array.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ts01.lic ts01.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o ts04.lic ts04.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o tuple.lic tuple.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o type_decl.lic type_decl.lus}
+PASS: ./lus2lic {} {-lic -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 uu.lic uu.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o v1.lic v1.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o when_tuple.lic when_tuple.lus}
+PASS: ./lus2lic {} {-lic -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 {} {-lic -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: ./lus2lic {} {-o yyy.lic yyy.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o zzz.lic zzz.lus}
+PASS: ./lus2lic {} {-lic -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: ./lus2lic {} {-o zzz2.lic zzz2.lus}
+PASS: ./lus2lic {} {-lic -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 {}
@@ -1775,14 +1775,14 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
 # of unexpected failures	7
 ===============================
 # Total number of failures: 15
-lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 41 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 45 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 58 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 33 seconds
+lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 22 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 26 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 39 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 13 seconds
 * Ref time: 
-119.64user 27.16system 2:58.09elapsed 82%CPU (0avgtext+0avgdata 283400maxresident)k
-0inputs+6071832outputs (0major+17936821minor)pagefaults 0swaps
+54.46user 14.18system 1:41.04elapsed 67%CPU (0avgtext+0avgdata 280192maxresident)k
+0inputs+139832outputs (0major+9370829minor)pagefaults 0swaps
 * Quick time (-j 4):
-163.93user 33.87system 1:40.81elapsed 196%CPU (0avgtext+0avgdata 283544maxresident)k
-3960inputs+5996976outputs (4major+17725117minor)pagefaults 0swaps
+61.59user 14.85system 0:53.21elapsed 143%CPU (0avgtext+0avgdata 280548maxresident)k
+0inputs+137016outputs (0major+9206232minor)pagefaults 0swaps
diff --git a/test/lus2lic.tests/non-reg.exp b/test/lus2lic.tests/non-reg.exp
index 0686e75ff5b54f427ef1d35e90f13dc79cc0814a..846ba5c0bd0f31a64872033e27d0b9d2fdb6c2f7 100644
--- a/test/lus2lic.tests/non-reg.exp
+++ b/test/lus2lic.tests/non-reg.exp
@@ -15,7 +15,7 @@ foreach f $ok_files {
     set bf $tmp[file tail $basef]
     set basef [file tail $basef]
 
-    set id1 [should_work "without any option" "$lus2lic" "-o $bf.lic $f"]
+    set id1 [should_work "without any option" "$lus2lic -lic" "-o $bf.lic $bf"]
     wait -i $id1
     # if { [nonemptyfile "$bf.lic"] } {
         set id2 [should_work "Generate ec code  " "$lus2lic" "-ec -o $bf.ec $f"]
diff --git a/test/lus2lic.tests/progression.exp b/test/lus2lic.tests/progression.exp
index 837961f04d921d6152870079616b87062c657aa5..684b10e7fcfed98509a7e5dd84328692a37ca212 100644
--- a/test/lus2lic.tests/progression.exp
+++ b/test/lus2lic.tests/progression.exp
@@ -26,7 +26,7 @@ proc iter_should_fail { fail_kind } {
     foreach f $files {
         set bf [file rootname $f]
         set bf $tmp[file tail $bf]
-        should_fail "Test bad programs" "$fail_kind" "$lus2lic" "-o $bf.lic $f"
+        should_fail "Test bad programs" "$fail_kind" "$lus2lic -lic" "-o $bf.lic $f"
     }
 }
 
diff --git a/test/myec2c b/test/myec2c
index 8b688b7ca6080057c25eb95aafe8833ea0cfddf9..ca307d33070d339df4baafec964b2c68297d9345 100755
--- a/test/myec2c
+++ b/test/myec2c
@@ -1,4 +1,4 @@
 #!/bin/sh
 
 
-./ec2c $@  2>&1
+ec2c $@  2>&1
diff --git a/test/should_work/amaury.lus b/test/should_work/amaury.lus
new file mode 100644
index 0000000000000000000000000000000000000000..9e27891c494659e450a87f389e42efe26388bb89
--- /dev/null
+++ b/test/should_work/amaury.lus
@@ -0,0 +1,9 @@
+
+node amaury_n<<const n:int>>(x: int) returns (y:int);
+let
+   y = with n = 0 then 0 else
+         x + amaury_n<<n-1>>(x);
+tel
+
+node amaury = amaury_n<<4>>;
+
diff --git a/test/should_work/lus2lic b/test/should_work/lus2lic
new file mode 120000
index 0000000000000000000000000000000000000000..d336511b27ef7ea62348f5de48f39fd2ca87d57b
--- /dev/null
+++ b/test/should_work/lus2lic
@@ -0,0 +1 @@
+../../_build/src/main.native
\ No newline at end of file
diff --git a/test/site.exp b/test/site.exp
index 30bdb43ff21e8f79565eb0aa2f897e801fc7f0d5..bb089fc70a989735a190dded09d5effd055af71e 100644
--- a/test/site.exp
+++ b/test/site.exp
@@ -1,4 +1,4 @@
-# Time-stamp: <modified the 20/07/2017 (at 14:35) by Erwan Jahier> 
+# Time-stamp: <modified the 03/07/2018 (at 14:49) by Erwan Jahier> 
 # 
 # (nonreg-)test harness main file
 
@@ -236,7 +236,7 @@ proc nonreg_exec_and_2c {files tmp} {
         set node [file tail $f_no_ext]
         set port [get_free_port]
 
-        eval spawn "$lus2lic $opt -o $bf.lic $f"
+        eval spawn "$lus2lic -lic $opt -o $bf.lic $f"
         wait -i $spawn_id
         if { [nonemptyfile "$bf.lic"] &&  [does_not_contain_left_slices "$f"] } {
             set id1 [should_work "Generate c code  " "$lus2lic $opt" "-2c $f -n $node"]
@@ -281,7 +281,7 @@ proc nonreg_exec_and_ecexe {files tmp} {
         set opt [read_opt $f]
         set node [file tail $f_no_ext]
 
-        set id1 [should_work "without any option" "$lus2lic" "$opt" "-o $bf.lic $f"]
+        set id1 [should_work "without any option" "$lus2lic" "$opt" "-lic -o $bf.lic $f"]
         wait -i $id1
         if { [nonemptyfile "$bf.lic"] } {
             set id2 [should_work "Generate ec code  " "$lus2lic" "-ec -o $bf.ec $f"]