diff --git a/src/licPrg.ml b/src/licPrg.ml
index a6546b6fc0b015db305d33a38d83083f049922f1..27ddcafd1310e7295c43a3ae9da7e83562db51cc 100644
--- a/src/licPrg.ml
+++ b/src/licPrg.ml
@@ -135,33 +135,56 @@ let dump_entete oc =
       Printf.fprintf oc "-- %s\n" sys_call;
       Printf.fprintf oc "-- on %s the %s at %s\n" hostname date time_str 
 
+
+exception Enough
 let to_file (oc: out_channel) (this:t) = 
-   dump_entete oc;
-   (* On imprime dans l'ordre du iter, donc pas terrible ???
-   *)
-   ItemKeyMap.iter
+  dump_entete oc;
+  (* On imprime dans l'ordre du iter, donc pas terrible ???
+  *)
+  if !Global.ec then (
+    (* If no node is set a top-level, the compiler will compile every node. But the
+       ec format only accepts one node (and no type nor const) 
+       Hence we print the first one.
+    *)
+    try 
+      NodeKeyMap.iter (
+        fun _ nexp ->
+          match nexp.Lic.node_key_eff, nexp.Lic.def_eff with
+          (* only user nodes with a body are valid ec node *)
+            | _, Lic.BodyLic _ -> 
+              output_string !Global.oc (LicDump.node_of_node_exp_eff nexp);
+              flush !Global.oc;
+              raise Enough
+            | _  -> ()
+      )
+      this.nodes
+    with Enough -> ()
+
+  ) else (
+    ItemKeyMap.iter
       (fun tn te -> output_string !Global.oc (LicDump.type_decl tn te)) this.types;
-   ItemKeyMap.iter
+    ItemKeyMap.iter
       (fun cn ce -> output_string !Global.oc (LicDump.const_decl cn ce)) this.consts;
 
    (* Pour les noeuds, pas sur que ça marche tant qu'on n'a
       pas séparés les transformations  source_to_source du LicTab:
       en cas d'expansion, il y avait cette remarque :
-           nb: we print res_struct, but do not return it from
-           node_check, because the structure and array expansion
-           modify (instanciate) the node profiles.
+      nb: we print res_struct, but do not return it from
+      node_check, because the structure and array expansion
+      modify (instanciate) the node profiles.
 
       On n'affiche PAS les extern Lustre::...
    *)
 
-   NodeKeyMap.iter (
+    NodeKeyMap.iter (
       fun _ nexp ->
-         match nexp.Lic.node_key_eff with
+        match nexp.Lic.node_key_eff with
          (* inutile d'écrire les noeuds predefs *)
-         | (("Lustre",_),[]) -> ()
-         | _ -> output_string !Global.oc (LicDump.node_of_node_exp_eff nexp)
-   )
-   this.nodes
+          | (("Lustre",_),[]) -> ()
+          | _ -> output_string !Global.oc (LicDump.node_of_node_exp_eff nexp)
+    )
+      this.nodes
+  )
 
 (* GENERATEUR DE NOM DE VARIABLES *)
 type id_generator = string -> string
diff --git a/src/main.ml b/src/main.ml
index d81e9203a8a90a0aa462b2a160bbd69c60fdbfb2..a7b88a80e5b82f36fd629323807cd17e1847d66e 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 11/01/2013 (at 17:02) by Erwan Jahier> *)
+(* Time-stamp: <modified the 11/01/2013 (at 18:11) by Erwan Jahier> *)
 
 
 
@@ -169,9 +169,7 @@ let main = (
     if !Global.outfile <> "" then Global.oc := open_out !Global.outfile;
     let lic_prg = Compile.doit nsl main_node in
     LicPrg.to_file !Global.oc lic_prg;
-    Verbose.exe ~level:3 (fun () ->
-      Gc.print_stat stdout
-    );
+    Verbose.exe ~level:3 (fun () -> Gc.print_stat stdout);
     close_out !Global.oc
   ) with
       Sys_error(s) ->
diff --git a/test/lus2lic.log.ref b/test/lus2lic.log.ref
index 3f31d13ed7bcf2d8ff1575d19af76f200ea60e5c..e804ace1035bb4756844bce04efbbf831f08968a 100644
--- a/test/lus2lic.log.ref
+++ b/test/lus2lic.log.ref
@@ -1,4 +1,4 @@
-Test Run By jahier on Fri Jan 11 17:02:48 2013
+Test Run By jahier on Fri Jan 11 17:44:25 2013
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic tests ===
@@ -18,7 +18,6 @@ PASS: ./lus2lic {-o /tmp/nc6.lic should_work/nc6.lus}
 spawn ./lus2lic -ec -o /tmp/nc6.ec should_work/nc6.lus
 PASS: ./lus2lic {-ec -o /tmp/nc6.ec should_work/nc6.lus}
 spawn ec2c -o /tmp/nc6.c /tmp/nc6.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc6.c /tmp/nc6.ec}
 spawn ./lus2lic -o /tmp/argos.lic should_work/argos.lus
 PASS: ./lus2lic {-o /tmp/argos.lic should_work/argos.lus}
@@ -31,7 +30,6 @@ PASS: ./lus2lic {-o /tmp/ck5.lic should_work/ck5.lus}
 spawn ./lus2lic -ec -o /tmp/ck5.ec should_work/ck5.lus
 PASS: ./lus2lic {-ec -o /tmp/ck5.ec should_work/ck5.lus}
 spawn ec2c -o /tmp/ck5.c /tmp/ck5.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/ck5.c /tmp/ck5.ec}
 spawn ./lus2lic -o /tmp/fby.lic should_work/fby.lus
 PASS: ./lus2lic {-o /tmp/fby.lic should_work/fby.lus}
@@ -50,7 +48,6 @@ PASS: ./lus2lic {-o /tmp/ck6.lic should_work/ck6.lus}
 spawn ./lus2lic -ec -o /tmp/ck6.ec should_work/ck6.lus
 PASS: ./lus2lic {-ec -o /tmp/ck6.ec should_work/ck6.lus}
 spawn ec2c -o /tmp/ck6.c /tmp/ck6.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/ck6.c /tmp/ck6.ec}
 spawn ./lus2lic -o /tmp/Gyroscope2.lic should_work/Gyroscope2.lus
 PASS: ./lus2lic {-o /tmp/Gyroscope2.lic should_work/Gyroscope2.lus}
@@ -201,7 +198,6 @@ PASS: ./lus2lic {-o /tmp/mouse2.lic should_work/mouse2.lus}
 spawn ./lus2lic -ec -o /tmp/mouse2.ec should_work/mouse2.lus
 PASS: ./lus2lic {-ec -o /tmp/mouse2.ec should_work/mouse2.lus}
 spawn ec2c -o /tmp/mouse2.c /tmp/mouse2.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/mouse2.c /tmp/mouse2.ec}
 spawn ./lus2lic -o /tmp/dep.lic should_work/dep.lus
 PASS: ./lus2lic {-o /tmp/dep.lic should_work/dep.lus}
@@ -220,23 +216,18 @@ PASS: ./lus2lic {-o /tmp/redIf.lic should_work/redIf.lus}
 spawn ./lus2lic -ec -o /tmp/redIf.ec should_work/redIf.lus
 PASS: ./lus2lic {-ec -o /tmp/redIf.ec should_work/redIf.lus}
 spawn ec2c -o /tmp/redIf.c /tmp/redIf.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/redIf.c /tmp/redIf.ec}
+PASS: ec2c {-o /tmp/redIf.c /tmp/redIf.ec}
 spawn ./lus2lic -o /tmp/t0.lic should_work/t0.lus
 PASS: ./lus2lic {-o /tmp/t0.lic should_work/t0.lus}
 spawn ./lus2lic -ec -o /tmp/t0.ec should_work/t0.lus
 PASS: ./lus2lic {-ec -o /tmp/t0.ec should_work/t0.lus}
 spawn ec2c -o /tmp/t0.c /tmp/t0.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/t0.c /tmp/t0.ec}
+PASS: ec2c {-o /tmp/t0.c /tmp/t0.ec}
 spawn ./lus2lic -o /tmp/lucky.lic should_work/lucky.lus
 PASS: ./lus2lic {-o /tmp/lucky.lic should_work/lucky.lus}
 spawn ./lus2lic -ec -o /tmp/lucky.ec should_work/lucky.lus
 PASS: ./lus2lic {-ec -o /tmp/lucky.ec should_work/lucky.lus}
 spawn ec2c -o /tmp/lucky.c /tmp/lucky.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/lucky.c /tmp/lucky.ec}
 spawn ./lus2lic -o /tmp/heater_control.lic should_work/heater_control.lus
 PASS: ./lus2lic {-o /tmp/heater_control.lic should_work/heater_control.lus}
@@ -251,15 +242,12 @@ PASS: ./lus2lic {-o /tmp/titi.lic should_work/titi.lus}
 spawn ./lus2lic -ec -o /tmp/titi.ec should_work/titi.lus
 PASS: ./lus2lic {-ec -o /tmp/titi.ec should_work/titi.lus}
 spawn ec2c -o /tmp/titi.c /tmp/titi.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/titi.c /tmp/titi.ec}
+PASS: ec2c {-o /tmp/titi.c /tmp/titi.ec}
 spawn ./lus2lic -o /tmp/cminus.lic should_work/cminus.lus
 PASS: ./lus2lic {-o /tmp/cminus.lic should_work/cminus.lus}
 spawn ./lus2lic -ec -o /tmp/cminus.ec should_work/cminus.lus
 PASS: ./lus2lic {-ec -o /tmp/cminus.ec should_work/cminus.lus}
 spawn ec2c -o /tmp/cminus.c /tmp/cminus.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/cminus.c /tmp/cminus.ec}
 spawn ./lus2lic -o /tmp/rs.lic should_work/rs.lus
 PASS: ./lus2lic {-o /tmp/rs.lic should_work/rs.lus}
@@ -272,9 +260,7 @@ PASS: ./lus2lic {-o /tmp/access.lic should_work/access.lus}
 spawn ./lus2lic -ec -o /tmp/access.ec should_work/access.lus
 PASS: ./lus2lic {-ec -o /tmp/access.ec should_work/access.lus}
 spawn ec2c -o /tmp/access.c /tmp/access.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/access.c /tmp/access.ec}
+PASS: ec2c {-o /tmp/access.c /tmp/access.ec}
 spawn ./lus2lic -o /tmp/aux.lic should_work/aux.lus
 PASS: ./lus2lic {-o /tmp/aux.lic should_work/aux.lus}
 spawn ./lus2lic -ec -o /tmp/aux.ec should_work/aux.lus
@@ -286,9 +272,7 @@ PASS: ./lus2lic {-o /tmp/consensus2.lic should_work/consensus2.lus}
 spawn ./lus2lic -ec -o /tmp/consensus2.ec should_work/consensus2.lus
 PASS: ./lus2lic {-ec -o /tmp/consensus2.ec should_work/consensus2.lus}
 spawn ec2c -o /tmp/consensus2.c /tmp/consensus2.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/consensus2.c /tmp/consensus2.ec}
+PASS: ec2c {-o /tmp/consensus2.c /tmp/consensus2.ec}
 spawn ./lus2lic -o /tmp/dependeur.lic should_work/dependeur.lus
 PASS: ./lus2lic {-o /tmp/dependeur.lic should_work/dependeur.lus}
 spawn ./lus2lic -ec -o /tmp/dependeur.ec should_work/dependeur.lus
@@ -300,9 +284,7 @@ PASS: ./lus2lic {-o /tmp/mappredef.lic should_work/mappredef.lus}
 spawn ./lus2lic -ec -o /tmp/mappredef.ec should_work/mappredef.lus
 PASS: ./lus2lic {-ec -o /tmp/mappredef.ec should_work/mappredef.lus}
 spawn ec2c -o /tmp/mappredef.c /tmp/mappredef.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mappredef.c /tmp/mappredef.ec}
+PASS: ec2c {-o /tmp/mappredef.c /tmp/mappredef.ec}
 spawn ./lus2lic -o /tmp/call06.lic should_work/call06.lus
 PASS: ./lus2lic {-o /tmp/call06.lic should_work/call06.lus}
 spawn ./lus2lic -ec -o /tmp/call06.ec should_work/call06.lus
@@ -601,25 +583,19 @@ PASS: ./lus2lic {-o /tmp/bug2.lic should_work/bug2.lus}
 spawn ./lus2lic -ec -o /tmp/bug2.ec should_work/bug2.lus
 PASS: ./lus2lic {-ec -o /tmp/bug2.ec should_work/bug2.lus}
 spawn ec2c -o /tmp/bug2.c /tmp/bug2.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/bug2.c /tmp/bug2.ec}
+PASS: ec2c {-o /tmp/bug2.c /tmp/bug2.ec}
 spawn ./lus2lic -o /tmp/mm.lic should_work/mm.lus
 PASS: ./lus2lic {-o /tmp/mm.lic should_work/mm.lus}
 spawn ./lus2lic -ec -o /tmp/mm.ec should_work/mm.lus
 PASS: ./lus2lic {-ec -o /tmp/mm.ec should_work/mm.lus}
 spawn ec2c -o /tmp/mm.c /tmp/mm.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mm.c /tmp/mm.ec}
+PASS: ec2c {-o /tmp/mm.c /tmp/mm.ec}
 spawn ./lus2lic -o /tmp/yyy.lic should_work/yyy.lus
 PASS: ./lus2lic {-o /tmp/yyy.lic should_work/yyy.lus}
 spawn ./lus2lic -ec -o /tmp/yyy.ec should_work/yyy.lus
 PASS: ./lus2lic {-ec -o /tmp/yyy.ec should_work/yyy.lus}
 spawn ec2c -o /tmp/yyy.c /tmp/yyy.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/yyy.c /tmp/yyy.ec}
+PASS: ec2c {-o /tmp/yyy.c /tmp/yyy.ec}
 spawn ./lus2lic -o /tmp/testCapt.lic should_work/testCapt.lus
 PASS: ./lus2lic {-o /tmp/testCapt.lic should_work/testCapt.lus}
 spawn ./lus2lic -ec -o /tmp/testCapt.ec should_work/testCapt.lus
@@ -631,7 +607,6 @@ PASS: ./lus2lic {-o /tmp/nc7.lic should_work/nc7.lus}
 spawn ./lus2lic -ec -o /tmp/nc7.ec should_work/nc7.lus
 PASS: ./lus2lic {-ec -o /tmp/nc7.ec should_work/nc7.lus}
 spawn ec2c -o /tmp/nc7.c /tmp/nc7.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc7.c /tmp/nc7.ec}
 spawn ./lus2lic -o /tmp/predefOp.lic should_work/predefOp.lus
 PASS: ./lus2lic {-o /tmp/predefOp.lic should_work/predefOp.lus}
@@ -886,30 +861,24 @@ PASS: ./lus2lic {-o /tmp/t1.lic should_work/t1.lus}
 spawn ./lus2lic -ec -o /tmp/t1.ec should_work/t1.lus
 PASS: ./lus2lic {-ec -o /tmp/t1.ec should_work/t1.lus}
 spawn ec2c -o /tmp/t1.c /tmp/t1.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/t1.c /tmp/t1.ec}
+PASS: ec2c {-o /tmp/t1.c /tmp/t1.ec}
 spawn ./lus2lic -o /tmp/nc9.lic should_work/nc9.lus
 PASS: ./lus2lic {-o /tmp/nc9.lic should_work/nc9.lus}
 spawn ./lus2lic -ec -o /tmp/nc9.ec should_work/nc9.lus
 PASS: ./lus2lic {-ec -o /tmp/nc9.ec should_work/nc9.lus}
 spawn ec2c -o /tmp/nc9.c /tmp/nc9.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc9.c /tmp/nc9.ec}
 spawn ./lus2lic -o /tmp/car-V2.lic should_work/car-V2.lus
 PASS: ./lus2lic {-o /tmp/car-V2.lic should_work/car-V2.lus}
 spawn ./lus2lic -ec -o /tmp/car-V2.ec should_work/car-V2.lus
 PASS: ./lus2lic {-ec -o /tmp/car-V2.ec should_work/car-V2.lus}
 spawn ec2c -o /tmp/car-V2.c /tmp/car-V2.ec
-syntax error     - at line 5
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/car-V2.c /tmp/car-V2.ec}
+PASS: ec2c {-o /tmp/car-V2.c /tmp/car-V2.ec}
 spawn ./lus2lic -o /tmp/nc8.lic should_work/nc8.lus
 PASS: ./lus2lic {-o /tmp/nc8.lic should_work/nc8.lus}
 spawn ./lus2lic -ec -o /tmp/nc8.ec should_work/nc8.lus
 PASS: ./lus2lic {-ec -o /tmp/nc8.ec should_work/nc8.lus}
 spawn ec2c -o /tmp/nc8.c /tmp/nc8.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc8.c /tmp/nc8.ec}
 spawn ./lus2lic -o /tmp/minmax5.lic should_work/minmax5.lus
 PASS: ./lus2lic {-o /tmp/minmax5.lic should_work/minmax5.lus}
@@ -922,25 +891,19 @@ PASS: ./lus2lic {-o /tmp/mm1.lic should_work/mm1.lus}
 spawn ./lus2lic -ec -o /tmp/mm1.ec should_work/mm1.lus
 PASS: ./lus2lic {-ec -o /tmp/mm1.ec should_work/mm1.lus}
 spawn ec2c -o /tmp/mm1.c /tmp/mm1.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mm1.c /tmp/mm1.ec}
+PASS: ec2c {-o /tmp/mm1.c /tmp/mm1.ec}
 spawn ./lus2lic -o /tmp/predef03.lic should_work/predef03.lus
 PASS: ./lus2lic {-o /tmp/predef03.lic should_work/predef03.lus}
 spawn ./lus2lic -ec -o /tmp/predef03.ec should_work/predef03.lus
 PASS: ./lus2lic {-ec -o /tmp/predef03.ec should_work/predef03.lus}
 spawn ec2c -o /tmp/predef03.c /tmp/predef03.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/predef03.c /tmp/predef03.ec}
+PASS: ec2c {-o /tmp/predef03.c /tmp/predef03.ec}
 spawn ./lus2lic -o /tmp/iter.lic should_work/iter.lus
 PASS: ./lus2lic {-o /tmp/iter.lic should_work/iter.lus}
 spawn ./lus2lic -ec -o /tmp/iter.ec should_work/iter.lus
 PASS: ./lus2lic {-ec -o /tmp/iter.ec should_work/iter.lus}
 spawn ec2c -o /tmp/iter.c /tmp/iter.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/iter.c /tmp/iter.ec}
+PASS: ec2c {-o /tmp/iter.c /tmp/iter.ec}
 spawn ./lus2lic -o /tmp/piege.lic should_work/piege.lus
 PASS: ./lus2lic {-o /tmp/piege.lic should_work/piege.lus}
 spawn ./lus2lic -ec -o /tmp/piege.ec should_work/piege.lus
@@ -957,7 +920,7 @@ PASS: ./lus2lic {-o /tmp/Watch.lic should_work/Watch.lus}
 spawn ./lus2lic -ec -o /tmp/Watch.ec should_work/Watch.lus
 PASS: ./lus2lic {-ec -o /tmp/Watch.ec should_work/Watch.lus}
 spawn ec2c -o /tmp/Watch.c /tmp/Watch.ec
-EcParse: ec program must contain a single node
+ecnet::GetIdentInfo : undeclared ident 'ALARM_DURATION'
 PASS: ec2c {-o /tmp/Watch.c /tmp/Watch.ec}
 spawn ./lus2lic -o /tmp/testBoite.lic should_work/testBoite.lus
 PASS: ./lus2lic {-o /tmp/testBoite.lic should_work/testBoite.lus}
@@ -970,23 +933,19 @@ PASS: ./lus2lic {-o /tmp/node_caller1.lic should_work/node_caller1.lus}
 spawn ./lus2lic -ec -o /tmp/node_caller1.ec should_work/node_caller1.lus
 PASS: ./lus2lic {-ec -o /tmp/node_caller1.ec should_work/node_caller1.lus}
 spawn ec2c -o /tmp/node_caller1.c /tmp/node_caller1.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/node_caller1.c /tmp/node_caller1.ec}
 spawn ./lus2lic -o /tmp/nc1.lic should_work/nc1.lus
 PASS: ./lus2lic {-o /tmp/nc1.lic should_work/nc1.lus}
 spawn ./lus2lic -ec -o /tmp/nc1.ec should_work/nc1.lus
 PASS: ./lus2lic {-ec -o /tmp/nc1.ec should_work/nc1.lus}
 spawn ec2c -o /tmp/nc1.c /tmp/nc1.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc1.c /tmp/nc1.ec}
 spawn ./lus2lic -o /tmp/test_node_expand2.lic should_work/test_node_expand2.lus
 PASS: ./lus2lic {-o /tmp/test_node_expand2.lic should_work/test_node_expand2.lus}
 spawn ./lus2lic -ec -o /tmp/test_node_expand2.ec should_work/test_node_expand2.lus
 PASS: ./lus2lic {-ec -o /tmp/test_node_expand2.ec should_work/test_node_expand2.lus}
 spawn ec2c -o /tmp/test_node_expand2.c /tmp/test_node_expand2.ec
-syntax error     - at line 5
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/test_node_expand2.c /tmp/test_node_expand2.ec}
+PASS: ec2c {-o /tmp/test_node_expand2.c /tmp/test_node_expand2.ec}
 spawn ./lus2lic -o /tmp/test.lic should_work/test.lus
 PASS: ./lus2lic {-o /tmp/test.lic should_work/test.lus}
 spawn ./lus2lic -ec -o /tmp/test.ec should_work/test.lus
@@ -997,7 +956,6 @@ PASS: ./lus2lic {-o /tmp/FALLING_EDGE.lic should_work/FALLING_EDGE.lus}
 spawn ./lus2lic -ec -o /tmp/FALLING_EDGE.ec should_work/FALLING_EDGE.lus
 PASS: ./lus2lic {-ec -o /tmp/FALLING_EDGE.ec should_work/FALLING_EDGE.lus}
 spawn ec2c -o /tmp/FALLING_EDGE.c /tmp/FALLING_EDGE.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/FALLING_EDGE.c /tmp/FALLING_EDGE.ec}
 spawn ./lus2lic -o /tmp/SWITCH.lic should_work/SWITCH.lus
 PASS: ./lus2lic {-o /tmp/SWITCH.lic should_work/SWITCH.lus}
@@ -1010,6 +968,7 @@ PASS: ./lus2lic {-o /tmp/cst.lic should_work/cst.lus}
 spawn ./lus2lic -ec -o /tmp/cst.ec should_work/cst.lus
 PASS: ./lus2lic {-ec -o /tmp/cst.ec should_work/cst.lus}
 spawn ec2c -o /tmp/cst.c /tmp/cst.ec
+ecnet::GetIdentInfo : undeclared ident 'i'
 PASS: ec2c {-o /tmp/cst.c /tmp/cst.ec}
 spawn ./lus2lic -o /tmp/minmax5_random.lic should_work/minmax5_random.lus
 PASS: ./lus2lic {-o /tmp/minmax5_random.lic should_work/minmax5_random.lus}
@@ -1022,9 +981,7 @@ PASS: ./lus2lic {-o /tmp/matrice2.lic should_work/matrice2.lus}
 spawn ./lus2lic -ec -o /tmp/matrice2.ec should_work/matrice2.lus
 PASS: ./lus2lic {-ec -o /tmp/matrice2.ec should_work/matrice2.lus}
 spawn ec2c -o /tmp/matrice2.c /tmp/matrice2.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/matrice2.c /tmp/matrice2.ec}
+PASS: ec2c {-o /tmp/matrice2.c /tmp/matrice2.ec}
 spawn ./lus2lic -o /tmp/v1.lic should_work/v1.lus
 PASS: ./lus2lic {-o /tmp/v1.lic should_work/v1.lus}
 spawn ./lus2lic -ec -o /tmp/v1.ec should_work/v1.lus
@@ -1076,16 +1033,13 @@ PASS: ./lus2lic {-o /tmp/test_node_expand.lic should_work/test_node_expand.lus}
 spawn ./lus2lic -ec -o /tmp/test_node_expand.ec should_work/test_node_expand.lus
 PASS: ./lus2lic {-ec -o /tmp/test_node_expand.ec should_work/test_node_expand.lus}
 spawn ec2c -o /tmp/test_node_expand.c /tmp/test_node_expand.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/test_node_expand.c /tmp/test_node_expand.ec}
 spawn ./lus2lic -o /tmp/mm22.lic should_work/mm22.lus
 PASS: ./lus2lic {-o /tmp/mm22.lic should_work/mm22.lus}
 spawn ./lus2lic -ec -o /tmp/mm22.ec should_work/mm22.lus
 PASS: ./lus2lic {-ec -o /tmp/mm22.ec should_work/mm22.lus}
 spawn ec2c -o /tmp/mm22.c /tmp/mm22.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mm22.c /tmp/mm22.ec}
+PASS: ec2c {-o /tmp/mm22.c /tmp/mm22.ec}
 spawn ./lus2lic -o /tmp/X1.lic should_work/X1.lus
 PASS: ./lus2lic {-o /tmp/X1.lic should_work/X1.lus}
 spawn ./lus2lic -ec -o /tmp/X1.ec should_work/X1.lus
@@ -1097,9 +1051,7 @@ PASS: ./lus2lic {-o /tmp/alarme.lic should_work/alarme.lus}
 spawn ./lus2lic -ec -o /tmp/alarme.ec should_work/alarme.lus
 PASS: ./lus2lic {-ec -o /tmp/alarme.ec should_work/alarme.lus}
 spawn ec2c -o /tmp/alarme.c /tmp/alarme.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/alarme.c /tmp/alarme.ec}
+PASS: ec2c {-o /tmp/alarme.c /tmp/alarme.ec}
 spawn ./lus2lic -o /tmp/onlyroll2.lic should_work/onlyroll2.lus
 PASS: ./lus2lic {-o /tmp/onlyroll2.lic should_work/onlyroll2.lus}
 spawn ./lus2lic -ec -o /tmp/onlyroll2.ec should_work/onlyroll2.lus
@@ -1119,9 +1071,7 @@ PASS: ./lus2lic {-o /tmp/zzz2.lic should_work/zzz2.lus}
 spawn ./lus2lic -ec -o /tmp/zzz2.ec should_work/zzz2.lus
 PASS: ./lus2lic {-ec -o /tmp/zzz2.ec should_work/zzz2.lus}
 spawn ec2c -o /tmp/zzz2.c /tmp/zzz2.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/zzz2.c /tmp/zzz2.ec}
+PASS: ec2c {-o /tmp/zzz2.c /tmp/zzz2.ec}
 spawn ./lus2lic -o /tmp/COUNTER.lic should_work/COUNTER.lus
 PASS: ./lus2lic {-o /tmp/COUNTER.lic should_work/COUNTER.lus}
 spawn ./lus2lic -ec -o /tmp/COUNTER.ec should_work/COUNTER.lus
@@ -1133,7 +1083,6 @@ PASS: ./lus2lic {-o /tmp/minmax3.lic should_work/minmax3.lus}
 spawn ./lus2lic -ec -o /tmp/minmax3.ec should_work/minmax3.lus
 PASS: ./lus2lic {-ec -o /tmp/minmax3.ec should_work/minmax3.lus}
 spawn ec2c -o /tmp/minmax3.c /tmp/minmax3.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/minmax3.c /tmp/minmax3.ec}
 spawn ./lus2lic -o /tmp/X3.lic should_work/X3.lus
 PASS: ./lus2lic {-o /tmp/X3.lic should_work/X3.lus}
@@ -1146,9 +1095,7 @@ PASS: ./lus2lic {-o /tmp/filter.lic should_work/filter.lus}
 spawn ./lus2lic -ec -o /tmp/filter.ec should_work/filter.lus
 PASS: ./lus2lic {-ec -o /tmp/filter.ec should_work/filter.lus}
 spawn ec2c -o /tmp/filter.c /tmp/filter.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/filter.c /tmp/filter.ec}
+PASS: ec2c {-o /tmp/filter.c /tmp/filter.ec}
 spawn ./lus2lic -o /tmp/ec.lic should_work/ec.lus
 UNRESOLVED: Time out: ./lus2lic {-o /tmp/ec.lic should_work/ec.lus}
 spawn ./lus2lic -ec -o /tmp/ec.ec should_work/ec.lus
@@ -1225,47 +1172,37 @@ PASS: ./lus2lic {-o /tmp/fresh_name.lic should_work/fresh_name.lus}
 spawn ./lus2lic -ec -o /tmp/fresh_name.ec should_work/fresh_name.lus
 PASS: ./lus2lic {-ec -o /tmp/fresh_name.ec should_work/fresh_name.lus}
 spawn ec2c -o /tmp/fresh_name.c /tmp/fresh_name.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/fresh_name.c /tmp/fresh_name.ec}
 spawn ./lus2lic -o /tmp/ply03.lic should_work/ply03.lus
 PASS: ./lus2lic {-o /tmp/ply03.lic should_work/ply03.lus}
 spawn ./lus2lic -ec -o /tmp/ply03.ec should_work/ply03.lus
 PASS: ./lus2lic {-ec -o /tmp/ply03.ec should_work/ply03.lus}
 spawn ec2c -o /tmp/ply03.c /tmp/ply03.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/ply03.c /tmp/ply03.ec}
+PASS: ec2c {-o /tmp/ply03.c /tmp/ply03.ec}
 spawn ./lus2lic -o /tmp/param_struct.lic should_work/param_struct.lus
 PASS: ./lus2lic {-o /tmp/param_struct.lic should_work/param_struct.lus}
 spawn ./lus2lic -ec -o /tmp/param_struct.ec should_work/param_struct.lus
 PASS: ./lus2lic {-ec -o /tmp/param_struct.ec should_work/param_struct.lus}
 spawn ec2c -o /tmp/param_struct.c /tmp/param_struct.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_struct.c /tmp/param_struct.ec}
+PASS: ec2c {-o /tmp/param_struct.c /tmp/param_struct.ec}
 spawn ./lus2lic -o /tmp/minmax2.lic should_work/minmax2.lus
 PASS: ./lus2lic {-o /tmp/minmax2.lic should_work/minmax2.lus}
 spawn ./lus2lic -ec -o /tmp/minmax2.ec should_work/minmax2.lus
 PASS: ./lus2lic {-ec -o /tmp/minmax2.ec should_work/minmax2.lus}
 spawn ec2c -o /tmp/minmax2.c /tmp/minmax2.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/minmax2.c /tmp/minmax2.ec}
 spawn ./lus2lic -o /tmp/plus.lic should_work/plus.lus
 PASS: ./lus2lic {-o /tmp/plus.lic should_work/plus.lus}
 spawn ./lus2lic -ec -o /tmp/plus.ec should_work/plus.lus
 PASS: ./lus2lic {-ec -o /tmp/plus.ec should_work/plus.lus}
 spawn ec2c -o /tmp/plus.c /tmp/plus.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/plus.c /tmp/plus.ec}
+PASS: ec2c {-o /tmp/plus.c /tmp/plus.ec}
 spawn ./lus2lic -o /tmp/xx.lic should_work/xx.lus
 PASS: ./lus2lic {-o /tmp/xx.lic should_work/xx.lus}
 spawn ./lus2lic -ec -o /tmp/xx.ec should_work/xx.lus
 PASS: ./lus2lic {-ec -o /tmp/xx.ec should_work/xx.lus}
 spawn ec2c -o /tmp/xx.c /tmp/xx.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/xx.c /tmp/xx.ec}
+PASS: ec2c {-o /tmp/xx.c /tmp/xx.ec}
 spawn ./lus2lic -o /tmp/call07.lic should_work/call07.lus
 PASS: ./lus2lic {-o /tmp/call07.lic should_work/call07.lus}
 spawn ./lus2lic -ec -o /tmp/call07.ec should_work/call07.lus
@@ -1277,9 +1214,7 @@ PASS: ./lus2lic {-o /tmp/shift_ludic.lic should_work/shift_ludic.lus}
 spawn ./lus2lic -ec -o /tmp/shift_ludic.ec should_work/shift_ludic.lus
 PASS: ./lus2lic {-ec -o /tmp/shift_ludic.ec should_work/shift_ludic.lus}
 spawn ec2c -o /tmp/shift_ludic.c /tmp/shift_ludic.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/shift_ludic.c /tmp/shift_ludic.ec}
+PASS: ec2c {-o /tmp/shift_ludic.c /tmp/shift_ludic.ec}
 spawn ./lus2lic -o /tmp/pilote-1.0.lic should_work/pilote-1.0.lus
 PASS: ./lus2lic {-o /tmp/pilote-1.0.lic should_work/pilote-1.0.lus}
 spawn ./lus2lic -ec -o /tmp/pilote-1.0.ec should_work/pilote-1.0.lus
@@ -5324,31 +5259,25 @@ PASS: ./lus2lic {-o /tmp/trivial.lic should_work/trivial.lus}
 spawn ./lus2lic -ec -o /tmp/trivial.ec should_work/trivial.lus
 PASS: ./lus2lic {-ec -o /tmp/trivial.ec should_work/trivial.lus}
 spawn ec2c -o /tmp/trivial.c /tmp/trivial.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/trivial.c /tmp/trivial.ec}
 spawn ./lus2lic -o /tmp/sincos.lic should_work/sincos.lus
 PASS: ./lus2lic {-o /tmp/sincos.lic should_work/sincos.lus}
 spawn ./lus2lic -ec -o /tmp/sincos.ec should_work/sincos.lus
 PASS: ./lus2lic {-ec -o /tmp/sincos.ec should_work/sincos.lus}
 spawn ec2c -o /tmp/sincos.c /tmp/sincos.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/sincos.c /tmp/sincos.ec}
 spawn ./lus2lic -o /tmp/morel5.lic should_work/morel5.lus
 PASS: ./lus2lic {-o /tmp/morel5.lic should_work/morel5.lus}
 spawn ./lus2lic -ec -o /tmp/morel5.ec should_work/morel5.lus
 PASS: ./lus2lic {-ec -o /tmp/morel5.ec should_work/morel5.lus}
 spawn ec2c -o /tmp/morel5.c /tmp/morel5.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/morel5.c /tmp/morel5.ec}
+PASS: ec2c {-o /tmp/morel5.c /tmp/morel5.ec}
 spawn ./lus2lic -o /tmp/bred.lic should_work/bred.lus
 PASS: ./lus2lic {-o /tmp/bred.lic should_work/bred.lus}
 spawn ./lus2lic -ec -o /tmp/bred.ec should_work/bred.lus
 PASS: ./lus2lic {-ec -o /tmp/bred.ec should_work/bred.lus}
 spawn ec2c -o /tmp/bred.c /tmp/bred.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/bred.c /tmp/bred.ec}
+PASS: ec2c {-o /tmp/bred.c /tmp/bred.ec}
 spawn ./lus2lic -o /tmp/tri.lic should_work/tri.lus
 PASS: ./lus2lic {-o /tmp/tri.lic should_work/tri.lus}
 spawn ./lus2lic -ec -o /tmp/tri.ec should_work/tri.lus
@@ -14544,9 +14473,7 @@ PASS: ./lus2lic {-o /tmp/calculs_max.lic should_work/calculs_max.lus}
 spawn ./lus2lic -ec -o /tmp/calculs_max.ec should_work/calculs_max.lus
 PASS: ./lus2lic {-ec -o /tmp/calculs_max.ec should_work/calculs_max.lus}
 spawn ec2c -o /tmp/calculs_max.c /tmp/calculs_max.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/calculs_max.c /tmp/calculs_max.ec}
+PASS: ec2c {-o /tmp/calculs_max.c /tmp/calculs_max.ec}
 spawn ./lus2lic -o /tmp/testCA.lic should_work/testCA.lus
 PASS: ./lus2lic {-o /tmp/testCA.lic should_work/testCA.lus}
 spawn ./lus2lic -ec -o /tmp/testCA.ec should_work/testCA.lus
@@ -14558,9 +14485,7 @@ PASS: ./lus2lic {-o /tmp/deconne.lic should_work/deconne.lus}
 spawn ./lus2lic -ec -o /tmp/deconne.ec should_work/deconne.lus
 PASS: ./lus2lic {-ec -o /tmp/deconne.ec should_work/deconne.lus}
 spawn ec2c -o /tmp/deconne.c /tmp/deconne.ec
-syntax error     - at line 5
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/deconne.c /tmp/deconne.ec}
+PASS: ec2c {-o /tmp/deconne.c /tmp/deconne.ec}
 spawn ./lus2lic -o /tmp/noAlarm.lic should_work/noAlarm.lus
 PASS: ./lus2lic {-o /tmp/noAlarm.lic should_work/noAlarm.lus}
 spawn ./lus2lic -ec -o /tmp/noAlarm.ec should_work/noAlarm.lus
@@ -14655,15 +14580,14 @@ PASS: ./lus2lic {-o /tmp/enum.lic should_work/enum.lus}
 spawn ./lus2lic -ec -o /tmp/enum.ec should_work/enum.lus
 PASS: ./lus2lic {-ec -o /tmp/enum.ec should_work/enum.lus}
 spawn ec2c -o /tmp/enum.c /tmp/enum.ec
+ecnet::GetIdentInfo : undeclared ident 'bleu'
 PASS: ec2c {-o /tmp/enum.c /tmp/enum.ec}
 spawn ./lus2lic -o /tmp/param_node4.lic should_work/param_node4.lus
 PASS: ./lus2lic {-o /tmp/param_node4.lic should_work/param_node4.lus}
 spawn ./lus2lic -ec -o /tmp/param_node4.ec should_work/param_node4.lus
 PASS: ./lus2lic {-ec -o /tmp/param_node4.ec should_work/param_node4.lus}
 spawn ec2c -o /tmp/param_node4.c /tmp/param_node4.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_node4.c /tmp/param_node4.ec}
+PASS: ec2c {-o /tmp/param_node4.c /tmp/param_node4.ec}
 spawn ./lus2lic -o /tmp/onlyroll.lic should_work/onlyroll.lus
 PASS: ./lus2lic {-o /tmp/onlyroll.lic should_work/onlyroll.lus}
 spawn ./lus2lic -ec -o /tmp/onlyroll.ec should_work/onlyroll.lus
@@ -14685,39 +14609,31 @@ PASS: ./lus2lic {-o /tmp/noeudsIndependants.lic should_work/noeudsIndependants.l
 spawn ./lus2lic -ec -o /tmp/noeudsIndependants.ec should_work/noeudsIndependants.lus
 PASS: ./lus2lic {-ec -o /tmp/noeudsIndependants.ec should_work/noeudsIndependants.lus}
 spawn ec2c -o /tmp/noeudsIndependants.c /tmp/noeudsIndependants.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/noeudsIndependants.c /tmp/noeudsIndependants.ec}
 spawn ./lus2lic -o /tmp/mouse.lic should_work/mouse.lus
 PASS: ./lus2lic {-o /tmp/mouse.lic should_work/mouse.lus}
 spawn ./lus2lic -ec -o /tmp/mouse.ec should_work/mouse.lus
 PASS: ./lus2lic {-ec -o /tmp/mouse.ec should_work/mouse.lus}
 spawn ec2c -o /tmp/mouse.c /tmp/mouse.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/mouse.c /tmp/mouse.ec}
 spawn ./lus2lic -o /tmp/param_node3.lic should_work/param_node3.lus
 PASS: ./lus2lic {-o /tmp/param_node3.lic should_work/param_node3.lus}
 spawn ./lus2lic -ec -o /tmp/param_node3.ec should_work/param_node3.lus
 PASS: ./lus2lic {-ec -o /tmp/param_node3.ec should_work/param_node3.lus}
 spawn ec2c -o /tmp/param_node3.c /tmp/param_node3.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_node3.c /tmp/param_node3.ec}
+PASS: ec2c {-o /tmp/param_node3.c /tmp/param_node3.ec}
 spawn ./lus2lic -o /tmp/pipeline.lic should_work/pipeline.lus
 PASS: ./lus2lic {-o /tmp/pipeline.lic should_work/pipeline.lus}
 spawn ./lus2lic -ec -o /tmp/pipeline.ec should_work/pipeline.lus
 PASS: ./lus2lic {-ec -o /tmp/pipeline.ec should_work/pipeline.lus}
 spawn ec2c -o /tmp/pipeline.c /tmp/pipeline.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/pipeline.c /tmp/pipeline.ec}
+PASS: ec2c {-o /tmp/pipeline.c /tmp/pipeline.ec}
 spawn ./lus2lic -o /tmp/mapinf.lic should_work/mapinf.lus
 PASS: ./lus2lic {-o /tmp/mapinf.lic should_work/mapinf.lus}
 spawn ./lus2lic -ec -o /tmp/mapinf.ec should_work/mapinf.lus
 PASS: ./lus2lic {-ec -o /tmp/mapinf.ec should_work/mapinf.lus}
 spawn ec2c -o /tmp/mapinf.c /tmp/mapinf.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mapinf.c /tmp/mapinf.ec}
+PASS: ec2c {-o /tmp/mapinf.c /tmp/mapinf.ec}
 spawn ./lus2lic -o /tmp/integrator.lic should_work/integrator.lus
 PASS: ./lus2lic {-o /tmp/integrator.lic should_work/integrator.lus}
 spawn ./lus2lic -ec -o /tmp/integrator.ec should_work/integrator.lus
@@ -14729,32 +14645,25 @@ PASS: ./lus2lic {-o /tmp/nc4.lic should_work/nc4.lus}
 spawn ./lus2lic -ec -o /tmp/nc4.ec should_work/nc4.lus
 PASS: ./lus2lic {-ec -o /tmp/nc4.ec should_work/nc4.lus}
 spawn ec2c -o /tmp/nc4.c /tmp/nc4.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc4.c /tmp/nc4.ec}
 spawn ./lus2lic -o /tmp/mm3.lic should_work/mm3.lus
 PASS: ./lus2lic {-o /tmp/mm3.lic should_work/mm3.lus}
 spawn ./lus2lic -ec -o /tmp/mm3.ec should_work/mm3.lus
 PASS: ./lus2lic {-ec -o /tmp/mm3.ec should_work/mm3.lus}
 spawn ec2c -o /tmp/mm3.c /tmp/mm3.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mm3.c /tmp/mm3.ec}
+PASS: ec2c {-o /tmp/mm3.c /tmp/mm3.ec}
 spawn ./lus2lic -o /tmp/over2.lic should_work/over2.lus
 PASS: ./lus2lic {-o /tmp/over2.lic should_work/over2.lus}
 spawn ./lus2lic -ec -o /tmp/over2.ec should_work/over2.lus
 PASS: ./lus2lic {-ec -o /tmp/over2.ec should_work/over2.lus}
 spawn ec2c -o /tmp/over2.c /tmp/over2.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/over2.c /tmp/over2.ec}
+PASS: ec2c {-o /tmp/over2.c /tmp/over2.ec}
 spawn ./lus2lic -o /tmp/complex.lic should_work/complex.lus
 PASS: ./lus2lic {-o /tmp/complex.lic should_work/complex.lus}
 spawn ./lus2lic -ec -o /tmp/complex.ec should_work/complex.lus
 PASS: ./lus2lic {-ec -o /tmp/complex.ec should_work/complex.lus}
 spawn ec2c -o /tmp/complex.c /tmp/complex.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/complex.c /tmp/complex.ec}
+PASS: ec2c {-o /tmp/complex.c /tmp/complex.ec}
 spawn ./lus2lic -o /tmp/initial.lic should_work/initial.lus
 PASS: ./lus2lic {-o /tmp/initial.lic should_work/initial.lus}
 spawn ./lus2lic -ec -o /tmp/initial.ec should_work/initial.lus
@@ -14766,9 +14675,7 @@ PASS: ./lus2lic {-o /tmp/declaration.lic should_work/declaration.lus}
 spawn ./lus2lic -ec -o /tmp/declaration.ec should_work/declaration.lus
 PASS: ./lus2lic {-ec -o /tmp/declaration.ec should_work/declaration.lus}
 spawn ec2c -o /tmp/declaration.c /tmp/declaration.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/declaration.c /tmp/declaration.ec}
+PASS: ec2c {-o /tmp/declaration.c /tmp/declaration.ec}
 spawn ./lus2lic -o /tmp/PCOND1.lic should_work/PCOND1.lus
 PASS: ./lus2lic {-o /tmp/PCOND1.lic should_work/PCOND1.lus}
 spawn ./lus2lic -ec -o /tmp/PCOND1.ec should_work/PCOND1.lus
@@ -14786,14 +14693,12 @@ PASS: ./lus2lic {-o /tmp/nc5.lic should_work/nc5.lus}
 spawn ./lus2lic -ec -o /tmp/nc5.ec should_work/nc5.lus
 PASS: ./lus2lic {-ec -o /tmp/nc5.ec should_work/nc5.lus}
 spawn ec2c -o /tmp/nc5.c /tmp/nc5.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc5.c /tmp/nc5.ec}
 spawn ./lus2lic -o /tmp/call.lic should_work/call.lus
 PASS: ./lus2lic {-o /tmp/call.lic should_work/call.lus}
 spawn ./lus2lic -ec -o /tmp/call.ec should_work/call.lus
 PASS: ./lus2lic {-ec -o /tmp/call.ec should_work/call.lus}
 spawn ec2c -o /tmp/call.c /tmp/call.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/call.c /tmp/call.ec}
 spawn ./lus2lic -o /tmp/mouse1.lic should_work/mouse1.lus
 PASS: ./lus2lic {-o /tmp/mouse1.lic should_work/mouse1.lus}
@@ -14806,7 +14711,6 @@ PASS: ./lus2lic {-o /tmp/lustre_test1_ok.lic should_work/lustre_test1_ok.lus}
 spawn ./lus2lic -ec -o /tmp/lustre_test1_ok.ec should_work/lustre_test1_ok.lus
 PASS: ./lus2lic {-ec -o /tmp/lustre_test1_ok.ec should_work/lustre_test1_ok.lus}
 spawn ec2c -o /tmp/lustre_test1_ok.c /tmp/lustre_test1_ok.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/lustre_test1_ok.c /tmp/lustre_test1_ok.ec}
 spawn ./lus2lic -o /tmp/compteur.lic should_work/compteur.lus
 PASS: ./lus2lic {-o /tmp/compteur.lic should_work/compteur.lus}
@@ -14999,54 +14903,43 @@ PASS: ./lus2lic {-o /tmp/t2.lic should_work/t2.lus}
 spawn ./lus2lic -ec -o /tmp/t2.ec should_work/t2.lus
 PASS: ./lus2lic {-ec -o /tmp/t2.ec should_work/t2.lus}
 spawn ec2c -o /tmp/t2.c /tmp/t2.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/t2.c /tmp/t2.ec}
+PASS: ec2c {-o /tmp/t2.c /tmp/t2.ec}
 spawn ./lus2lic -o /tmp/arbitre.lic should_work/arbitre.lus
 PASS: ./lus2lic {-o /tmp/arbitre.lic should_work/arbitre.lus}
 spawn ./lus2lic -ec -o /tmp/arbitre.ec should_work/arbitre.lus
 PASS: ./lus2lic {-ec -o /tmp/arbitre.ec should_work/arbitre.lus}
 spawn ec2c -o /tmp/arbitre.c /tmp/arbitre.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/arbitre.c /tmp/arbitre.ec}
 spawn ./lus2lic -o /tmp/test_const.lic should_work/test_const.lus
 PASS: ./lus2lic {-o /tmp/test_const.lic should_work/test_const.lus}
 spawn ./lus2lic -ec -o /tmp/test_const.ec should_work/test_const.lus
 PASS: ./lus2lic {-ec -o /tmp/test_const.ec should_work/test_const.lus}
 spawn ec2c -o /tmp/test_const.c /tmp/test_const.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/test_const.c /tmp/test_const.ec}
+PASS: ec2c {-o /tmp/test_const.c /tmp/test_const.ec}
 spawn ./lus2lic -o /tmp/when_tuple.lic should_work/when_tuple.lus
 PASS: ./lus2lic {-o /tmp/when_tuple.lic should_work/when_tuple.lus}
 spawn ./lus2lic -ec -o /tmp/when_tuple.ec should_work/when_tuple.lus
 PASS: ./lus2lic {-ec -o /tmp/when_tuple.ec should_work/when_tuple.lus}
 spawn ec2c -o /tmp/when_tuple.c /tmp/when_tuple.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/when_tuple.c /tmp/when_tuple.ec}
 spawn ./lus2lic -o /tmp/FillFollowedByRed.lic should_work/FillFollowedByRed.lus
 PASS: ./lus2lic {-o /tmp/FillFollowedByRed.lic should_work/FillFollowedByRed.lus}
 spawn ./lus2lic -ec -o /tmp/FillFollowedByRed.ec should_work/FillFollowedByRed.lus
 PASS: ./lus2lic {-ec -o /tmp/FillFollowedByRed.ec should_work/FillFollowedByRed.lus}
 spawn ec2c -o /tmp/FillFollowedByRed.c /tmp/FillFollowedByRed.ec
-syntax error     - at line 5
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/FillFollowedByRed.c /tmp/FillFollowedByRed.ec}
+PASS: ec2c {-o /tmp/FillFollowedByRed.c /tmp/FillFollowedByRed.ec}
 spawn ./lus2lic -o /tmp/sample_time_change.lic should_work/sample_time_change.lus
 PASS: ./lus2lic {-o /tmp/sample_time_change.lic should_work/sample_time_change.lus}
 spawn ./lus2lic -ec -o /tmp/sample_time_change.ec should_work/sample_time_change.lus
 PASS: ./lus2lic {-ec -o /tmp/sample_time_change.ec should_work/sample_time_change.lus}
 spawn ec2c -o /tmp/sample_time_change.c /tmp/sample_time_change.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/sample_time_change.c /tmp/sample_time_change.ec}
 spawn ./lus2lic -o /tmp/predef01.lic should_work/predef01.lus
 PASS: ./lus2lic {-o /tmp/predef01.lic should_work/predef01.lus}
 spawn ./lus2lic -ec -o /tmp/predef01.ec should_work/predef01.lus
 PASS: ./lus2lic {-ec -o /tmp/predef01.ec should_work/predef01.lus}
 spawn ec2c -o /tmp/predef01.c /tmp/predef01.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/predef01.c /tmp/predef01.ec}
+PASS: ec2c {-o /tmp/predef01.c /tmp/predef01.ec}
 spawn ./lus2lic -o /tmp/long_et_stupide_nom_de_noeud.lic should_work/long_et_stupide_nom_de_noeud.lus
 PASS: ./lus2lic {-o /tmp/long_et_stupide_nom_de_noeud.lic should_work/long_et_stupide_nom_de_noeud.lus}
 spawn ./lus2lic -ec -o /tmp/long_et_stupide_nom_de_noeud.ec should_work/long_et_stupide_nom_de_noeud.lus
@@ -15064,29 +14957,24 @@ PASS: ./lus2lic {-o /tmp/left.lic should_work/left.lus}
 spawn ./lus2lic -ec -o /tmp/left.ec should_work/left.lus
 PASS: ./lus2lic {-ec -o /tmp/left.ec should_work/left.lus}
 spawn ec2c -o /tmp/left.c /tmp/left.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/left.c /tmp/left.ec}
+PASS: ec2c {-o /tmp/left.c /tmp/left.ec}
 spawn ./lus2lic -o /tmp/ts04.lic should_work/ts04.lus
 PASS: ./lus2lic {-o /tmp/ts04.lic should_work/ts04.lus}
 spawn ./lus2lic -ec -o /tmp/ts04.ec should_work/ts04.lus
 PASS: ./lus2lic {-ec -o /tmp/ts04.ec should_work/ts04.lus}
 spawn ec2c -o /tmp/ts04.c /tmp/ts04.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/ts04.c /tmp/ts04.ec}
 spawn ./lus2lic -o /tmp/multiclock.lic should_work/multiclock.lus
 PASS: ./lus2lic {-o /tmp/multiclock.lic should_work/multiclock.lus}
 spawn ./lus2lic -ec -o /tmp/multiclock.ec should_work/multiclock.lus
 PASS: ./lus2lic {-ec -o /tmp/multiclock.ec should_work/multiclock.lus}
 spawn ec2c -o /tmp/multiclock.c /tmp/multiclock.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/multiclock.c /tmp/multiclock.ec}
 spawn ./lus2lic -o /tmp/nc2.lic should_work/nc2.lus
 PASS: ./lus2lic {-o /tmp/nc2.lic should_work/nc2.lus}
 spawn ./lus2lic -ec -o /tmp/nc2.ec should_work/nc2.lus
 PASS: ./lus2lic {-ec -o /tmp/nc2.ec should_work/nc2.lus}
 spawn ec2c -o /tmp/nc2.c /tmp/nc2.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc2.c /tmp/nc2.ec}
 spawn ./lus2lic -o /tmp/morel.lic should_work/morel.lus
 PASS: ./lus2lic {-o /tmp/morel.lic should_work/morel.lus}
@@ -15167,9 +15055,7 @@ PASS: ./lus2lic {-o /tmp/param_node2.lic should_work/param_node2.lus}
 spawn ./lus2lic -ec -o /tmp/param_node2.ec should_work/param_node2.lus
 PASS: ./lus2lic {-ec -o /tmp/param_node2.ec should_work/param_node2.lus}
 spawn ec2c -o /tmp/param_node2.c /tmp/param_node2.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_node2.c /tmp/param_node2.ec}
+PASS: ec2c {-o /tmp/param_node2.c /tmp/param_node2.ec}
 spawn ./lus2lic -o /tmp/o2l_feux_compl.lic should_work/o2l_feux_compl.lus
 PASS: ./lus2lic {-o /tmp/o2l_feux_compl.lic should_work/o2l_feux_compl.lus}
 spawn ./lus2lic -ec -o /tmp/o2l_feux_compl.ec should_work/o2l_feux_compl.lus
@@ -15218,23 +15104,18 @@ PASS: ./lus2lic {-o /tmp/def.lic should_work/def.lus}
 spawn ./lus2lic -ec -o /tmp/def.ec should_work/def.lus
 PASS: ./lus2lic {-ec -o /tmp/def.ec should_work/def.lus}
 spawn ec2c -o /tmp/def.c /tmp/def.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/def.c /tmp/def.ec}
+UNRESOLVED: Time out: ec2c {-o /tmp/def.c /tmp/def.ec}
 spawn ./lus2lic -o /tmp/consensus.lic should_work/consensus.lus
 PASS: ./lus2lic {-o /tmp/consensus.lic should_work/consensus.lus}
 spawn ./lus2lic -ec -o /tmp/consensus.ec should_work/consensus.lus
 PASS: ./lus2lic {-ec -o /tmp/consensus.ec should_work/consensus.lus}
 spawn ec2c -o /tmp/consensus.c /tmp/consensus.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/consensus.c /tmp/consensus.ec}
+PASS: ec2c {-o /tmp/consensus.c /tmp/consensus.ec}
 spawn ./lus2lic -o /tmp/activation2.lic should_work/activation2.lus
 PASS: ./lus2lic {-o /tmp/activation2.lic should_work/activation2.lus}
 spawn ./lus2lic -ec -o /tmp/activation2.ec should_work/activation2.lus
 PASS: ./lus2lic {-ec -o /tmp/activation2.ec should_work/activation2.lus}
 spawn ec2c -o /tmp/activation2.c /tmp/activation2.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/activation2.c /tmp/activation2.ec}
 spawn ./lus2lic -o /tmp/import1.lic should_work/import1.lus
 PASS: ./lus2lic {-o /tmp/import1.lic should_work/import1.lus}
@@ -15247,9 +15128,7 @@ PASS: ./lus2lic {-o /tmp/pack1.lic should_work/pack1.lus}
 spawn ./lus2lic -ec -o /tmp/pack1.ec should_work/pack1.lus
 PASS: ./lus2lic {-ec -o /tmp/pack1.ec should_work/pack1.lus}
 spawn ec2c -o /tmp/pack1.c /tmp/pack1.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/pack1.c /tmp/pack1.ec}
+PASS: ec2c {-o /tmp/pack1.c /tmp/pack1.ec}
 spawn ./lus2lic -o /tmp/bob.lic should_work/bob.lus
 PASS: ./lus2lic {-o /tmp/bob.lic should_work/bob.lus}
 spawn ./lus2lic -ec -o /tmp/bob.ec should_work/bob.lus
@@ -15267,15 +15146,12 @@ PASS: ./lus2lic {-o /tmp/struct.lic should_work/struct.lus}
 spawn ./lus2lic -ec -o /tmp/struct.ec should_work/struct.lus
 PASS: ./lus2lic {-ec -o /tmp/struct.ec should_work/struct.lus}
 spawn ec2c -o /tmp/struct.c /tmp/struct.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/struct.c /tmp/struct.ec}
+PASS: ec2c {-o /tmp/struct.c /tmp/struct.ec}
 spawn ./lus2lic -o /tmp/stopwatch.lic should_work/stopwatch.lus
 PASS: ./lus2lic {-o /tmp/stopwatch.lic should_work/stopwatch.lus}
 spawn ./lus2lic -ec -o /tmp/stopwatch.ec should_work/stopwatch.lus
 PASS: ./lus2lic {-ec -o /tmp/stopwatch.ec should_work/stopwatch.lus}
 spawn ec2c -o /tmp/stopwatch.c /tmp/stopwatch.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/stopwatch.c /tmp/stopwatch.ec}
 spawn ./lus2lic -o /tmp/iterFibo.lic should_work/iterFibo.lus
 PASS: ./lus2lic {-o /tmp/iterFibo.lic should_work/iterFibo.lus}
@@ -15368,9 +15244,7 @@ PASS: ./lus2lic {-o /tmp/aa.lic should_work/aa.lus}
 spawn ./lus2lic -ec -o /tmp/aa.ec should_work/aa.lus
 PASS: ./lus2lic {-ec -o /tmp/aa.ec should_work/aa.lus}
 spawn ec2c -o /tmp/aa.c /tmp/aa.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/aa.c /tmp/aa.ec}
+PASS: ec2c {-o /tmp/aa.c /tmp/aa.ec}
 spawn ./lus2lic -o /tmp/mouse3.lic should_work/mouse3.lus
 PASS: ./lus2lic {-o /tmp/mouse3.lic should_work/mouse3.lus}
 spawn ./lus2lic -ec -o /tmp/mouse3.ec should_work/mouse3.lus
@@ -15382,16 +15256,13 @@ PASS: ./lus2lic {-o /tmp/ex.lic should_work/ex.lus}
 spawn ./lus2lic -ec -o /tmp/ex.ec should_work/ex.lus
 PASS: ./lus2lic {-ec -o /tmp/ex.ec should_work/ex.lus}
 spawn ec2c -o /tmp/ex.c /tmp/ex.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/ex.c /tmp/ex.ec}
 spawn ./lus2lic -o /tmp/xxx.lic should_work/xxx.lus
 PASS: ./lus2lic {-o /tmp/xxx.lic should_work/xxx.lus}
 spawn ./lus2lic -ec -o /tmp/xxx.ec should_work/xxx.lus
 PASS: ./lus2lic {-ec -o /tmp/xxx.ec should_work/xxx.lus}
 spawn ec2c -o /tmp/xxx.c /tmp/xxx.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/xxx.c /tmp/xxx.ec}
+PASS: ec2c {-o /tmp/xxx.c /tmp/xxx.ec}
 spawn ./lus2lic -o /tmp/aux1.lic should_work/aux1.lus
 PASS: ./lus2lic {-o /tmp/aux1.lic should_work/aux1.lus}
 spawn ./lus2lic -ec -o /tmp/aux1.ec should_work/aux1.lus
@@ -15403,29 +15274,24 @@ PASS: ./lus2lic {-o /tmp/moyenne.lic should_work/moyenne.lus}
 spawn ./lus2lic -ec -o /tmp/moyenne.ec should_work/moyenne.lus
 PASS: ./lus2lic {-ec -o /tmp/moyenne.ec should_work/moyenne.lus}
 spawn ec2c -o /tmp/moyenne.c /tmp/moyenne.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/moyenne.c /tmp/moyenne.ec}
+PASS: ec2c {-o /tmp/moyenne.c /tmp/moyenne.ec}
 spawn ./lus2lic -o /tmp/activation1.lic should_work/activation1.lus
 PASS: ./lus2lic {-o /tmp/activation1.lic should_work/activation1.lus}
 spawn ./lus2lic -ec -o /tmp/activation1.ec should_work/activation1.lus
 PASS: ./lus2lic {-ec -o /tmp/activation1.ec should_work/activation1.lus}
 spawn ec2c -o /tmp/activation1.c /tmp/activation1.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/activation1.c /tmp/activation1.ec}
 spawn ./lus2lic -o /tmp/call01.lic should_work/call01.lus
 PASS: ./lus2lic {-o /tmp/call01.lic should_work/call01.lus}
 spawn ./lus2lic -ec -o /tmp/call01.ec should_work/call01.lus
 PASS: ./lus2lic {-ec -o /tmp/call01.ec should_work/call01.lus}
 spawn ec2c -o /tmp/call01.c /tmp/call01.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/call01.c /tmp/call01.ec}
 spawn ./lus2lic -o /tmp/lecteur.lic should_work/lecteur.lus
 PASS: ./lus2lic {-o /tmp/lecteur.lic should_work/lecteur.lus}
 spawn ./lus2lic -ec -o /tmp/lecteur.ec should_work/lecteur.lus
 PASS: ./lus2lic {-ec -o /tmp/lecteur.ec should_work/lecteur.lus}
 spawn ec2c -o /tmp/lecteur.c /tmp/lecteur.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/lecteur.c /tmp/lecteur.ec}
 spawn ./lus2lic -o /tmp/bug.lic should_work/bug.lus
 PASS: ./lus2lic {-o /tmp/bug.lic should_work/bug.lus}
@@ -15479,32 +15345,25 @@ PASS: ./lus2lic {-o /tmp/struct0.lic should_work/struct0.lus}
 spawn ./lus2lic -ec -o /tmp/struct0.ec should_work/struct0.lus
 PASS: ./lus2lic {-ec -o /tmp/struct0.ec should_work/struct0.lus}
 spawn ec2c -o /tmp/struct0.c /tmp/struct0.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/struct0.c /tmp/struct0.ec}
+PASS: ec2c {-o /tmp/struct0.c /tmp/struct0.ec}
 spawn ./lus2lic -o /tmp/filliter.lic should_work/filliter.lus
 PASS: ./lus2lic {-o /tmp/filliter.lic should_work/filliter.lus}
 spawn ./lus2lic -ec -o /tmp/filliter.ec should_work/filliter.lus
 PASS: ./lus2lic {-ec -o /tmp/filliter.ec should_work/filliter.lus}
 spawn ec2c -o /tmp/filliter.c /tmp/filliter.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/filliter.c /tmp/filliter.ec}
+PASS: ec2c {-o /tmp/filliter.c /tmp/filliter.ec}
 spawn ./lus2lic -o /tmp/minmax4.lic should_work/minmax4.lus
 PASS: ./lus2lic {-o /tmp/minmax4.lic should_work/minmax4.lus}
 spawn ./lus2lic -ec -o /tmp/minmax4.ec should_work/minmax4.lus
 PASS: ./lus2lic {-ec -o /tmp/minmax4.ec should_work/minmax4.lus}
 spawn ec2c -o /tmp/minmax4.c /tmp/minmax4.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/minmax4.c /tmp/minmax4.ec}
 spawn ./lus2lic -o /tmp/nested.lic should_work/nested.lus
 PASS: ./lus2lic {-o /tmp/nested.lic should_work/nested.lus}
 spawn ./lus2lic -ec -o /tmp/nested.ec should_work/nested.lus
 PASS: ./lus2lic {-ec -o /tmp/nested.ec should_work/nested.lus}
 spawn ec2c -o /tmp/nested.c /tmp/nested.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/nested.c /tmp/nested.ec}
+PASS: ec2c {-o /tmp/nested.c /tmp/nested.ec}
 spawn ./lus2lic -o /tmp/Gyroscope.lic should_work/Gyroscope.lus
 PASS: ./lus2lic {-o /tmp/Gyroscope.lic should_work/Gyroscope.lus}
 spawn ./lus2lic -ec -o /tmp/Gyroscope.ec should_work/Gyroscope.lus
@@ -15878,39 +15737,30 @@ PASS: ./lus2lic {-o /tmp/asservi.lic should_work/asservi.lus}
 spawn ./lus2lic -ec -o /tmp/asservi.ec should_work/asservi.lus
 PASS: ./lus2lic {-ec -o /tmp/asservi.ec should_work/asservi.lus}
 spawn ec2c -o /tmp/asservi.c /tmp/asservi.ec
-syntax error     - at line 5
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/asservi.c /tmp/asservi.ec}
+PASS: ec2c {-o /tmp/asservi.c /tmp/asservi.ec}
 spawn ./lus2lic -o /tmp/rediter.lic should_work/rediter.lus
 PASS: ./lus2lic {-o /tmp/rediter.lic should_work/rediter.lus}
 spawn ./lus2lic -ec -o /tmp/rediter.ec should_work/rediter.lus
 PASS: ./lus2lic {-ec -o /tmp/rediter.ec should_work/rediter.lus}
 spawn ec2c -o /tmp/rediter.c /tmp/rediter.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/rediter.c /tmp/rediter.ec}
+PASS: ec2c {-o /tmp/rediter.c /tmp/rediter.ec}
 spawn ./lus2lic -o /tmp/mapdeRed.lic should_work/mapdeRed.lus
 PASS: ./lus2lic {-o /tmp/mapdeRed.lic should_work/mapdeRed.lus}
 spawn ./lus2lic -ec -o /tmp/mapdeRed.ec should_work/mapdeRed.lus
 PASS: ./lus2lic {-ec -o /tmp/mapdeRed.ec should_work/mapdeRed.lus}
 spawn ec2c -o /tmp/mapdeRed.c /tmp/mapdeRed.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mapdeRed.c /tmp/mapdeRed.ec}
+PASS: ec2c {-o /tmp/mapdeRed.c /tmp/mapdeRed.ec}
 spawn ./lus2lic -o /tmp/dependeur_struct.lic should_work/dependeur_struct.lus
 PASS: ./lus2lic {-o /tmp/dependeur_struct.lic should_work/dependeur_struct.lus}
 spawn ./lus2lic -ec -o /tmp/dependeur_struct.ec should_work/dependeur_struct.lus
 PASS: ./lus2lic {-ec -o /tmp/dependeur_struct.ec should_work/dependeur_struct.lus}
 spawn ec2c -o /tmp/dependeur_struct.c /tmp/dependeur_struct.ec
-syntax error     - at line 5
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/dependeur_struct.c /tmp/dependeur_struct.ec}
+PASS: ec2c {-o /tmp/dependeur_struct.c /tmp/dependeur_struct.ec}
 spawn ./lus2lic -o /tmp/minmax4_bis.lic should_work/minmax4_bis.lus
 PASS: ./lus2lic {-o /tmp/minmax4_bis.lic should_work/minmax4_bis.lus}
 spawn ./lus2lic -ec -o /tmp/minmax4_bis.ec should_work/minmax4_bis.lus
 PASS: ./lus2lic {-ec -o /tmp/minmax4_bis.ec should_work/minmax4_bis.lus}
 spawn ec2c -o /tmp/minmax4_bis.c /tmp/minmax4_bis.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/minmax4_bis.c /tmp/minmax4_bis.ec}
 spawn ./lus2lic -o /tmp/uu.lic should_work/uu.lus
 PASS: ./lus2lic {-o /tmp/uu.lic should_work/uu.lus}
@@ -15923,17 +15773,13 @@ PASS: ./lus2lic {-o /tmp/simpleRed.lic should_work/simpleRed.lus}
 spawn ./lus2lic -ec -o /tmp/simpleRed.ec should_work/simpleRed.lus
 PASS: ./lus2lic {-ec -o /tmp/simpleRed.ec should_work/simpleRed.lus}
 spawn ec2c -o /tmp/simpleRed.c /tmp/simpleRed.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/simpleRed.c /tmp/simpleRed.ec}
+PASS: ec2c {-o /tmp/simpleRed.c /tmp/simpleRed.ec}
 spawn ./lus2lic -o /tmp/map.lic should_work/map.lus
 PASS: ./lus2lic {-o /tmp/map.lic should_work/map.lus}
 spawn ./lus2lic -ec -o /tmp/map.ec should_work/map.lus
 PASS: ./lus2lic {-ec -o /tmp/map.ec should_work/map.lus}
 spawn ec2c -o /tmp/map.c /tmp/map.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/map.c /tmp/map.ec}
+PASS: ec2c {-o /tmp/map.c /tmp/map.ec}
 spawn ./lus2lic -o /tmp/drapfab.lic should_work/drapfab.lus
 PASS: ./lus2lic {-o /tmp/drapfab.lic should_work/drapfab.lus}
 spawn ./lus2lic -ec -o /tmp/drapfab.ec should_work/drapfab.lus
@@ -15951,7 +15797,6 @@ PASS: ./lus2lic {-o /tmp/ts01.lic should_work/ts01.lus}
 spawn ./lus2lic -ec -o /tmp/ts01.ec should_work/ts01.lus
 PASS: ./lus2lic {-ec -o /tmp/ts01.ec should_work/ts01.lus}
 spawn ec2c -o /tmp/ts01.c /tmp/ts01.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/ts01.c /tmp/ts01.ec}
 spawn ./lus2lic -o /tmp/_N_uu.lic should_work/_N_uu.lus
 PASS: ./lus2lic {-o /tmp/_N_uu.lic should_work/_N_uu.lus}
@@ -15970,33 +15815,25 @@ PASS: ./lus2lic {-o /tmp/alias.lic should_work/alias.lus}
 spawn ./lus2lic -ec -o /tmp/alias.ec should_work/alias.lus
 PASS: ./lus2lic {-ec -o /tmp/alias.ec should_work/alias.lus}
 spawn ec2c -o /tmp/alias.c /tmp/alias.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/alias.c /tmp/alias.ec}
+PASS: ec2c {-o /tmp/alias.c /tmp/alias.ec}
 spawn ./lus2lic -o /tmp/hanane.lic should_work/hanane.lus
 PASS: ./lus2lic {-o /tmp/hanane.lic should_work/hanane.lus}
 spawn ./lus2lic -ec -o /tmp/hanane.ec should_work/hanane.lus
 PASS: ./lus2lic {-ec -o /tmp/hanane.ec should_work/hanane.lus}
 spawn ec2c -o /tmp/hanane.c /tmp/hanane.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/hanane.c /tmp/hanane.ec}
+PASS: ec2c {-o /tmp/hanane.c /tmp/hanane.ec}
 spawn ./lus2lic -o /tmp/packed_cst.lic should_work/packed_cst.lus
 PASS: ./lus2lic {-o /tmp/packed_cst.lic should_work/packed_cst.lus}
 spawn ./lus2lic -ec -o /tmp/packed_cst.ec should_work/packed_cst.lus
 PASS: ./lus2lic {-ec -o /tmp/packed_cst.ec should_work/packed_cst.lus}
 spawn ec2c -o /tmp/packed_cst.c /tmp/packed_cst.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/packed_cst.c /tmp/packed_cst.ec}
+PASS: ec2c {-o /tmp/packed_cst.c /tmp/packed_cst.ec}
 spawn ./lus2lic -o /tmp/predef02.lic should_work/predef02.lus
 PASS: ./lus2lic {-o /tmp/predef02.lic should_work/predef02.lus}
 spawn ./lus2lic -ec -o /tmp/predef02.ec should_work/predef02.lus
 PASS: ./lus2lic {-ec -o /tmp/predef02.ec should_work/predef02.lus}
 spawn ec2c -o /tmp/predef02.c /tmp/predef02.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/predef02.c /tmp/predef02.ec}
+PASS: ec2c {-o /tmp/predef02.c /tmp/predef02.ec}
 spawn ./lus2lic -o /tmp/toto.lic should_work/toto.lus
 PASS: ./lus2lic {-o /tmp/toto.lic should_work/toto.lus}
 spawn ./lus2lic -ec -o /tmp/toto.ec should_work/toto.lus
@@ -16056,7 +15893,6 @@ PASS: ./lus2lic {-o /tmp/minmax6.lic should_work/minmax6.lus}
 spawn ./lus2lic -ec -o /tmp/minmax6.ec should_work/minmax6.lus
 PASS: ./lus2lic {-ec -o /tmp/minmax6.ec should_work/minmax6.lus}
 spawn ec2c -o /tmp/minmax6.c /tmp/minmax6.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/minmax6.c /tmp/minmax6.ec}
 spawn ./lus2lic -o /tmp/ck3.lic should_work/ck3.lus
 PASS: ./lus2lic {-o /tmp/ck3.lic should_work/ck3.lus}
@@ -16069,9 +15905,7 @@ PASS: ./lus2lic {-o /tmp/zzz.lic should_work/zzz.lus}
 spawn ./lus2lic -ec -o /tmp/zzz.ec should_work/zzz.lus
 PASS: ./lus2lic {-ec -o /tmp/zzz.ec should_work/zzz.lus}
 spawn ec2c -o /tmp/zzz.c /tmp/zzz.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/zzz.c /tmp/zzz.ec}
+PASS: ec2c {-o /tmp/zzz.c /tmp/zzz.ec}
 spawn ./lus2lic -o /tmp/STABLE.lic should_work/STABLE.lus
 PASS: ./lus2lic {-o /tmp/STABLE.lic should_work/STABLE.lus}
 spawn ./lus2lic -ec -o /tmp/STABLE.ec should_work/STABLE.lus
@@ -16083,9 +15917,7 @@ PASS: ./lus2lic {-o /tmp/mapiter.lic should_work/mapiter.lus}
 spawn ./lus2lic -ec -o /tmp/mapiter.ec should_work/mapiter.lus
 PASS: ./lus2lic {-ec -o /tmp/mapiter.ec should_work/mapiter.lus}
 spawn ec2c -o /tmp/mapiter.c /tmp/mapiter.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mapiter.c /tmp/mapiter.ec}
+PASS: ec2c {-o /tmp/mapiter.c /tmp/mapiter.ec}
 spawn ./lus2lic -o /tmp/tuple.lic should_work/tuple.lus
 PASS: ./lus2lic {-o /tmp/tuple.lic should_work/tuple.lus}
 spawn ./lus2lic -ec -o /tmp/tuple.ec should_work/tuple.lus
@@ -16097,7 +15929,6 @@ PASS: ./lus2lic {-o /tmp/call02.lic should_work/call02.lus}
 spawn ./lus2lic -ec -o /tmp/call02.ec should_work/call02.lus
 PASS: ./lus2lic {-ec -o /tmp/call02.ec should_work/call02.lus}
 spawn ec2c -o /tmp/call02.c /tmp/call02.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/call02.c /tmp/call02.ec}
 spawn ./lus2lic -o /tmp/ck7.lic should_work/ck7.lus
 PASS: ./lus2lic {-o /tmp/ck7.lic should_work/ck7.lus}
@@ -16110,7 +15941,6 @@ PASS: ./lus2lic {-o /tmp/nc10.lic should_work/nc10.lus}
 spawn ./lus2lic -ec -o /tmp/nc10.ec should_work/nc10.lus
 PASS: ./lus2lic {-ec -o /tmp/nc10.ec should_work/nc10.lus}
 spawn ec2c -o /tmp/nc10.c /tmp/nc10.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc10.c /tmp/nc10.ec}
 spawn ./lus2lic -o /tmp/s.lic should_work/s.lus
 PASS: ./lus2lic {-o /tmp/s.lic should_work/s.lus}
@@ -16123,24 +15953,19 @@ PASS: ./lus2lic {-o /tmp/redoptest.lic should_work/redoptest.lus}
 spawn ./lus2lic -ec -o /tmp/redoptest.ec should_work/redoptest.lus
 PASS: ./lus2lic {-ec -o /tmp/redoptest.ec should_work/redoptest.lus}
 spawn ec2c -o /tmp/redoptest.c /tmp/redoptest.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/redoptest.c /tmp/redoptest.ec}
+PASS: ec2c {-o /tmp/redoptest.c /tmp/redoptest.ec}
 spawn ./lus2lic -o /tmp/flo.lic should_work/flo.lus
 PASS: ./lus2lic {-o /tmp/flo.lic should_work/flo.lus}
 spawn ./lus2lic -ec -o /tmp/flo.ec should_work/flo.lus
 PASS: ./lus2lic {-ec -o /tmp/flo.ec should_work/flo.lus}
 spawn ec2c -o /tmp/flo.c /tmp/flo.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/flo.c /tmp/flo.ec}
 spawn ./lus2lic -o /tmp/shiftFill_ludic.lic should_work/shiftFill_ludic.lus
 PASS: ./lus2lic {-o /tmp/shiftFill_ludic.lic should_work/shiftFill_ludic.lus}
 spawn ./lus2lic -ec -o /tmp/shiftFill_ludic.ec should_work/shiftFill_ludic.lus
 PASS: ./lus2lic {-ec -o /tmp/shiftFill_ludic.ec should_work/shiftFill_ludic.lus}
 spawn ec2c -o /tmp/shiftFill_ludic.c /tmp/shiftFill_ludic.ec
-syntax error     - at line 5
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/shiftFill_ludic.c /tmp/shiftFill_ludic.ec}
+PASS: ec2c {-o /tmp/shiftFill_ludic.c /tmp/shiftFill_ludic.ec}
 spawn ./lus2lic -o /tmp/after.lic should_work/after.lus
 PASS: ./lus2lic {-o /tmp/after.lic should_work/after.lus}
 spawn ./lus2lic -ec -o /tmp/after.ec should_work/after.lus
@@ -17382,23 +17207,19 @@ PASS: ./lus2lic {-o /tmp/nc3.lic should_work/nc3.lus}
 spawn ./lus2lic -ec -o /tmp/nc3.ec should_work/nc3.lus
 PASS: ./lus2lic {-ec -o /tmp/nc3.ec should_work/nc3.lus}
 spawn ec2c -o /tmp/nc3.c /tmp/nc3.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/nc3.c /tmp/nc3.ec}
 spawn ./lus2lic -o /tmp/speedcontrol.lic should_work/speedcontrol.lus
 PASS: ./lus2lic {-o /tmp/speedcontrol.lic should_work/speedcontrol.lus}
 spawn ./lus2lic -ec -o /tmp/speedcontrol.ec should_work/speedcontrol.lus
 PASS: ./lus2lic {-ec -o /tmp/speedcontrol.ec should_work/speedcontrol.lus}
 spawn ec2c -o /tmp/speedcontrol.c /tmp/speedcontrol.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/speedcontrol.c /tmp/speedcontrol.ec}
 spawn ./lus2lic -o /tmp/iterate.lic should_work/iterate.lus
 PASS: ./lus2lic {-o /tmp/iterate.lic should_work/iterate.lus}
 spawn ./lus2lic -ec -o /tmp/iterate.ec should_work/iterate.lus
 PASS: ./lus2lic {-ec -o /tmp/iterate.ec should_work/iterate.lus}
 spawn ec2c -o /tmp/iterate.c /tmp/iterate.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/iterate.c /tmp/iterate.ec}
+PASS: ec2c {-o /tmp/iterate.c /tmp/iterate.ec}
 spawn ./lus2lic -o /tmp/PCOND.lic should_work/PCOND.lus
 PASS: ./lus2lic {-o /tmp/PCOND.lic should_work/PCOND.lus}
 spawn ./lus2lic -ec -o /tmp/PCOND.ec should_work/PCOND.lus
@@ -17458,7 +17279,6 @@ PASS: ./lus2lic {-o /tmp/poussoir.lic should_work/poussoir.lus}
 spawn ./lus2lic -ec -o /tmp/poussoir.ec should_work/poussoir.lus
 PASS: ./lus2lic {-ec -o /tmp/poussoir.ec should_work/poussoir.lus}
 spawn ec2c -o /tmp/poussoir.c /tmp/poussoir.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/poussoir.c /tmp/poussoir.ec}
 spawn ./lus2lic -o /tmp/SWITCH1.lic should_work/SWITCH1.lus
 PASS: ./lus2lic {-o /tmp/SWITCH1.lic should_work/SWITCH1.lus}
@@ -17471,31 +17291,25 @@ PASS: ./lus2lic {-o /tmp/clock1_2ms.lic should_work/clock1_2ms.lus}
 spawn ./lus2lic -ec -o /tmp/clock1_2ms.ec should_work/clock1_2ms.lus
 PASS: ./lus2lic {-ec -o /tmp/clock1_2ms.ec should_work/clock1_2ms.lus}
 spawn ec2c -o /tmp/clock1_2ms.c /tmp/clock1_2ms.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/clock1_2ms.c /tmp/clock1_2ms.ec}
 spawn ./lus2lic -o /tmp/bred_lv4.lic should_work/bred_lv4.lus
 PASS: ./lus2lic {-o /tmp/bred_lv4.lic should_work/bred_lv4.lus}
 spawn ./lus2lic -ec -o /tmp/bred_lv4.ec should_work/bred_lv4.lus
 PASS: ./lus2lic {-ec -o /tmp/bred_lv4.ec should_work/bred_lv4.lus}
 spawn ec2c -o /tmp/bred_lv4.c /tmp/bred_lv4.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/bred_lv4.c /tmp/bred_lv4.ec}
+PASS: ec2c {-o /tmp/bred_lv4.c /tmp/bred_lv4.ec}
 spawn ./lus2lic -o /tmp/trivial2.lic should_work/trivial2.lus
 PASS: ./lus2lic {-o /tmp/trivial2.lic should_work/trivial2.lus}
 spawn ./lus2lic -ec -o /tmp/trivial2.ec should_work/trivial2.lus
 PASS: ./lus2lic {-ec -o /tmp/trivial2.ec should_work/trivial2.lus}
 spawn ec2c -o /tmp/trivial2.c /tmp/trivial2.ec
-EcParse: ec program must contain a single node
 PASS: ec2c {-o /tmp/trivial2.c /tmp/trivial2.ec}
 spawn ./lus2lic -o /tmp/param_node.lic should_work/param_node.lus
 PASS: ./lus2lic {-o /tmp/param_node.lic should_work/param_node.lus}
 spawn ./lus2lic -ec -o /tmp/param_node.ec should_work/param_node.lus
 PASS: ./lus2lic {-ec -o /tmp/param_node.ec should_work/param_node.lus}
 spawn ec2c -o /tmp/param_node.c /tmp/param_node.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_node.c /tmp/param_node.ec}
+PASS: ec2c {-o /tmp/param_node.c /tmp/param_node.ec}
 spawn ./lus2lic -o /tmp/func_with_body.lic should_work/func_with_body.lus
 PASS: ./lus2lic {-o /tmp/func_with_body.lic should_work/func_with_body.lus}
 spawn ./lus2lic -ec -o /tmp/func_with_body.ec should_work/func_with_body.lus
@@ -17507,9 +17321,7 @@ PASS: ./lus2lic {-o /tmp/minus.lic should_work/minus.lus}
 spawn ./lus2lic -ec -o /tmp/minus.ec should_work/minus.lus
 PASS: ./lus2lic {-ec -o /tmp/minus.ec should_work/minus.lus}
 spawn ec2c -o /tmp/minus.c /tmp/minus.ec
-syntax error     - at line 4
-syntax errors...
-FAIL: Try ec2c on the result: ec2c {-o /tmp/minus.c /tmp/minus.ec}
+PASS: ec2c {-o /tmp/minus.c /tmp/minus.ec}
 spawn ./lus2lic -o /tmp/remplissage-1.0.lic should_work/remplissage-1.0.lus
 PASS: ./lus2lic {-o /tmp/remplissage-1.0.lic should_work/remplissage-1.0.lus}
 spawn ./lus2lic -ec -o /tmp/remplissage-1.0.ec should_work/remplissage-1.0.lus
@@ -21505,7 +21317,7 @@ spawn ./lus2lic -o /tmp/m.lic should_fail/semantics/m.lus
 *** syntax error
 
 XFAIL: Test bad programs (semantics): lus2lic {-o /tmp/m.lic should_fail/semantics/m.lus}
-testcase ./lus2lic.tests/non-reg.exp completed in 90 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 137 seconds
 Running ./lus2lic.tests/progression.exp ...
 spawn ./lus2lic -o /tmp/when_enum.out should_work/broken/when_enum.lus
 *** Error in file "/home/jahier/lus2lic/test/should_work/broken/when_enum.lus", line 10, col 12 to 15, token 'toto':
@@ -22170,9 +21982,9 @@ testcase ./lus2lic.tests/progression.exp completed in 13 seconds
 
 		=== lus2lic Summary ===
 
-# of expected passes		567
-# of unexpected failures	179
+# of expected passes		637
+# of unexpected failures	108
 # of unexpected successes	8
 # of expected failures		26
-# of unresolved testcases	5
-runtest completed at Fri Jan 11 17:04:31 2013
+# of unresolved testcases	6
+runtest completed at Fri Jan 11 17:46:56 2013
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index bf6b549c1aa1d15b0a5394405202f3539075013f..ec8f511de7d0fba0deac42bd7fbba5c1441d972f 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,4 +1,4 @@
-Test Run By jahier on Fri Jan 11 17:02:48 2013
+Test Run By jahier on Fri Jan 11 18:07:22 2013
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic tests ===
@@ -40,10 +40,10 @@ PASS: ./lus2lic {-ec -o /tmp/testPilote.ec should_work/testPilote.lus}
 PASS: ec2c {-o /tmp/testPilote.c /tmp/testPilote.ec}
 PASS: ./lus2lic {-o /tmp/redIf.lic should_work/redIf.lus}
 PASS: ./lus2lic {-ec -o /tmp/redIf.ec should_work/redIf.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/redIf.c /tmp/redIf.ec}
+PASS: ec2c {-o /tmp/redIf.c /tmp/redIf.ec}
 PASS: ./lus2lic {-o /tmp/t0.lic should_work/t0.lus}
 PASS: ./lus2lic {-ec -o /tmp/t0.ec should_work/t0.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/t0.c /tmp/t0.ec}
+PASS: ec2c {-o /tmp/t0.c /tmp/t0.ec}
 PASS: ./lus2lic {-o /tmp/lucky.lic should_work/lucky.lus}
 PASS: ./lus2lic {-ec -o /tmp/lucky.ec should_work/lucky.lus}
 PASS: ec2c {-o /tmp/lucky.c /tmp/lucky.ec}
@@ -51,7 +51,7 @@ PASS: ./lus2lic {-o /tmp/heater_control.lic should_work/heater_control.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/heater_control.ec should_work/heater_control.lus}
 PASS: ./lus2lic {-o /tmp/titi.lic should_work/titi.lus}
 PASS: ./lus2lic {-ec -o /tmp/titi.ec should_work/titi.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/titi.c /tmp/titi.ec}
+PASS: ec2c {-o /tmp/titi.c /tmp/titi.ec}
 PASS: ./lus2lic {-o /tmp/cminus.lic should_work/cminus.lus}
 PASS: ./lus2lic {-ec -o /tmp/cminus.ec should_work/cminus.lus}
 PASS: ec2c {-o /tmp/cminus.c /tmp/cminus.ec}
@@ -60,19 +60,19 @@ PASS: ./lus2lic {-ec -o /tmp/rs.ec should_work/rs.lus}
 PASS: ec2c {-o /tmp/rs.c /tmp/rs.ec}
 PASS: ./lus2lic {-o /tmp/access.lic should_work/access.lus}
 PASS: ./lus2lic {-ec -o /tmp/access.ec should_work/access.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/access.c /tmp/access.ec}
+PASS: ec2c {-o /tmp/access.c /tmp/access.ec}
 PASS: ./lus2lic {-o /tmp/aux.lic should_work/aux.lus}
 PASS: ./lus2lic {-ec -o /tmp/aux.ec should_work/aux.lus}
 PASS: ec2c {-o /tmp/aux.c /tmp/aux.ec}
 PASS: ./lus2lic {-o /tmp/consensus2.lic should_work/consensus2.lus}
 PASS: ./lus2lic {-ec -o /tmp/consensus2.ec should_work/consensus2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/consensus2.c /tmp/consensus2.ec}
+PASS: ec2c {-o /tmp/consensus2.c /tmp/consensus2.ec}
 PASS: ./lus2lic {-o /tmp/dependeur.lic should_work/dependeur.lus}
 PASS: ./lus2lic {-ec -o /tmp/dependeur.ec should_work/dependeur.lus}
 PASS: ec2c {-o /tmp/dependeur.c /tmp/dependeur.ec}
 PASS: ./lus2lic {-o /tmp/mappredef.lic should_work/mappredef.lus}
 PASS: ./lus2lic {-ec -o /tmp/mappredef.ec should_work/mappredef.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mappredef.c /tmp/mappredef.ec}
+PASS: ec2c {-o /tmp/mappredef.c /tmp/mappredef.ec}
 PASS: ./lus2lic {-o /tmp/call06.lic should_work/call06.lus}
 PASS: ./lus2lic {-ec -o /tmp/call06.ec should_work/call06.lus}
 PASS: ec2c {-o /tmp/call06.c /tmp/call06.ec}
@@ -80,13 +80,13 @@ PASS: ./lus2lic {-o /tmp/deSimone.lic should_work/deSimone.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/deSimone.ec should_work/deSimone.lus}
 PASS: ./lus2lic {-o /tmp/bug2.lic should_work/bug2.lus}
 PASS: ./lus2lic {-ec -o /tmp/bug2.ec should_work/bug2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/bug2.c /tmp/bug2.ec}
+PASS: ec2c {-o /tmp/bug2.c /tmp/bug2.ec}
 PASS: ./lus2lic {-o /tmp/mm.lic should_work/mm.lus}
 PASS: ./lus2lic {-ec -o /tmp/mm.ec should_work/mm.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mm.c /tmp/mm.ec}
+PASS: ec2c {-o /tmp/mm.c /tmp/mm.ec}
 PASS: ./lus2lic {-o /tmp/yyy.lic should_work/yyy.lus}
 PASS: ./lus2lic {-ec -o /tmp/yyy.ec should_work/yyy.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/yyy.c /tmp/yyy.ec}
+PASS: ec2c {-o /tmp/yyy.c /tmp/yyy.ec}
 PASS: ./lus2lic {-o /tmp/testCapt.lic should_work/testCapt.lus}
 PASS: ./lus2lic {-ec -o /tmp/testCapt.ec should_work/testCapt.lus}
 PASS: ec2c {-o /tmp/testCapt.c /tmp/testCapt.ec}
@@ -97,13 +97,13 @@ PASS: ./lus2lic {-o /tmp/predefOp.lic should_work/predefOp.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/predefOp.ec should_work/predefOp.lus}
 PASS: ./lus2lic {-o /tmp/t1.lic should_work/t1.lus}
 PASS: ./lus2lic {-ec -o /tmp/t1.ec should_work/t1.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/t1.c /tmp/t1.ec}
+PASS: ec2c {-o /tmp/t1.c /tmp/t1.ec}
 PASS: ./lus2lic {-o /tmp/nc9.lic should_work/nc9.lus}
 PASS: ./lus2lic {-ec -o /tmp/nc9.ec should_work/nc9.lus}
 PASS: ec2c {-o /tmp/nc9.c /tmp/nc9.ec}
 PASS: ./lus2lic {-o /tmp/car-V2.lic should_work/car-V2.lus}
 PASS: ./lus2lic {-ec -o /tmp/car-V2.ec should_work/car-V2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/car-V2.c /tmp/car-V2.ec}
+PASS: ec2c {-o /tmp/car-V2.c /tmp/car-V2.ec}
 PASS: ./lus2lic {-o /tmp/nc8.lic should_work/nc8.lus}
 PASS: ./lus2lic {-ec -o /tmp/nc8.ec should_work/nc8.lus}
 PASS: ec2c {-o /tmp/nc8.c /tmp/nc8.ec}
@@ -112,13 +112,13 @@ PASS: ./lus2lic {-ec -o /tmp/minmax5.ec should_work/minmax5.lus}
 PASS: ec2c {-o /tmp/minmax5.c /tmp/minmax5.ec}
 PASS: ./lus2lic {-o /tmp/mm1.lic should_work/mm1.lus}
 PASS: ./lus2lic {-ec -o /tmp/mm1.ec should_work/mm1.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mm1.c /tmp/mm1.ec}
+PASS: ec2c {-o /tmp/mm1.c /tmp/mm1.ec}
 PASS: ./lus2lic {-o /tmp/predef03.lic should_work/predef03.lus}
 PASS: ./lus2lic {-ec -o /tmp/predef03.ec should_work/predef03.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/predef03.c /tmp/predef03.ec}
+PASS: ec2c {-o /tmp/predef03.c /tmp/predef03.ec}
 PASS: ./lus2lic {-o /tmp/iter.lic should_work/iter.lus}
 PASS: ./lus2lic {-ec -o /tmp/iter.ec should_work/iter.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/iter.c /tmp/iter.ec}
+PASS: ec2c {-o /tmp/iter.c /tmp/iter.ec}
 PASS: ./lus2lic {-o /tmp/piege.lic should_work/piege.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/piege.ec should_work/piege.lus}
 PASS: ./lus2lic {-o /tmp/call05.lic should_work/call05.lus}
@@ -138,7 +138,7 @@ PASS: ./lus2lic {-ec -o /tmp/nc1.ec should_work/nc1.lus}
 PASS: ec2c {-o /tmp/nc1.c /tmp/nc1.ec}
 PASS: ./lus2lic {-o /tmp/test_node_expand2.lic should_work/test_node_expand2.lus}
 PASS: ./lus2lic {-ec -o /tmp/test_node_expand2.ec should_work/test_node_expand2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/test_node_expand2.c /tmp/test_node_expand2.ec}
+PASS: ec2c {-o /tmp/test_node_expand2.c /tmp/test_node_expand2.ec}
 PASS: ./lus2lic {-o /tmp/test.lic should_work/test.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/test.ec should_work/test.lus}
 PASS: ./lus2lic {-o /tmp/FALLING_EDGE.lic should_work/FALLING_EDGE.lus}
@@ -155,7 +155,7 @@ PASS: ./lus2lic {-ec -o /tmp/minmax5_random.ec should_work/minmax5_random.lus}
 PASS: ec2c {-o /tmp/minmax5_random.c /tmp/minmax5_random.ec}
 PASS: ./lus2lic {-o /tmp/matrice2.lic should_work/matrice2.lus}
 PASS: ./lus2lic {-ec -o /tmp/matrice2.ec should_work/matrice2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/matrice2.c /tmp/matrice2.ec}
+PASS: ec2c {-o /tmp/matrice2.c /tmp/matrice2.ec}
 PASS: ./lus2lic {-o /tmp/v1.lic should_work/v1.lus}
 PASS: ./lus2lic {-ec -o /tmp/v1.ec should_work/v1.lus}
 PASS: ec2c {-o /tmp/v1.c /tmp/v1.ec}
@@ -169,13 +169,13 @@ PASS: ./lus2lic {-ec -o /tmp/test_node_expand.ec should_work/test_node_expand.lu
 PASS: ec2c {-o /tmp/test_node_expand.c /tmp/test_node_expand.ec}
 PASS: ./lus2lic {-o /tmp/mm22.lic should_work/mm22.lus}
 PASS: ./lus2lic {-ec -o /tmp/mm22.ec should_work/mm22.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mm22.c /tmp/mm22.ec}
+PASS: ec2c {-o /tmp/mm22.c /tmp/mm22.ec}
 PASS: ./lus2lic {-o /tmp/X1.lic should_work/X1.lus}
 PASS: ./lus2lic {-ec -o /tmp/X1.ec should_work/X1.lus}
 PASS: ec2c {-o /tmp/X1.c /tmp/X1.ec}
 PASS: ./lus2lic {-o /tmp/alarme.lic should_work/alarme.lus}
 PASS: ./lus2lic {-ec -o /tmp/alarme.ec should_work/alarme.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/alarme.c /tmp/alarme.ec}
+PASS: ec2c {-o /tmp/alarme.c /tmp/alarme.ec}
 PASS: ./lus2lic {-o /tmp/onlyroll2.lic should_work/onlyroll2.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/onlyroll2.ec should_work/onlyroll2.lus}
 PASS: ./lus2lic {-o /tmp/X6.lic should_work/X6.lus}
@@ -183,7 +183,7 @@ PASS: ./lus2lic {-ec -o /tmp/X6.ec should_work/X6.lus}
 PASS: ec2c {-o /tmp/X6.c /tmp/X6.ec}
 PASS: ./lus2lic {-o /tmp/zzz2.lic should_work/zzz2.lus}
 PASS: ./lus2lic {-ec -o /tmp/zzz2.ec should_work/zzz2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/zzz2.c /tmp/zzz2.ec}
+PASS: ec2c {-o /tmp/zzz2.c /tmp/zzz2.ec}
 PASS: ./lus2lic {-o /tmp/COUNTER.lic should_work/COUNTER.lus}
 PASS: ./lus2lic {-ec -o /tmp/COUNTER.ec should_work/COUNTER.lus}
 PASS: ec2c {-o /tmp/COUNTER.c /tmp/COUNTER.ec}
@@ -195,7 +195,7 @@ PASS: ./lus2lic {-ec -o /tmp/X3.ec should_work/X3.lus}
 PASS: ec2c {-o /tmp/X3.c /tmp/X3.ec}
 PASS: ./lus2lic {-o /tmp/filter.lic should_work/filter.lus}
 PASS: ./lus2lic {-ec -o /tmp/filter.ec should_work/filter.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/filter.c /tmp/filter.ec}
+PASS: ec2c {-o /tmp/filter.c /tmp/filter.ec}
 UNRESOLVED: Time out: ./lus2lic {-o /tmp/ec.lic should_work/ec.lus}
 UNRESOLVED: Time out: ./lus2lic {-ec -o /tmp/ec.ec should_work/ec.lus}
 PASS: ec2c {-o /tmp/ec.c /tmp/ec.ec}
@@ -206,25 +206,25 @@ PASS: ./lus2lic {-ec -o /tmp/fresh_name.ec should_work/fresh_name.lus}
 PASS: ec2c {-o /tmp/fresh_name.c /tmp/fresh_name.ec}
 PASS: ./lus2lic {-o /tmp/ply03.lic should_work/ply03.lus}
 PASS: ./lus2lic {-ec -o /tmp/ply03.ec should_work/ply03.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/ply03.c /tmp/ply03.ec}
+PASS: ec2c {-o /tmp/ply03.c /tmp/ply03.ec}
 PASS: ./lus2lic {-o /tmp/param_struct.lic should_work/param_struct.lus}
 PASS: ./lus2lic {-ec -o /tmp/param_struct.ec should_work/param_struct.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_struct.c /tmp/param_struct.ec}
+PASS: ec2c {-o /tmp/param_struct.c /tmp/param_struct.ec}
 PASS: ./lus2lic {-o /tmp/minmax2.lic should_work/minmax2.lus}
 PASS: ./lus2lic {-ec -o /tmp/minmax2.ec should_work/minmax2.lus}
 PASS: ec2c {-o /tmp/minmax2.c /tmp/minmax2.ec}
 PASS: ./lus2lic {-o /tmp/plus.lic should_work/plus.lus}
 PASS: ./lus2lic {-ec -o /tmp/plus.ec should_work/plus.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/plus.c /tmp/plus.ec}
+PASS: ec2c {-o /tmp/plus.c /tmp/plus.ec}
 PASS: ./lus2lic {-o /tmp/xx.lic should_work/xx.lus}
 PASS: ./lus2lic {-ec -o /tmp/xx.ec should_work/xx.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/xx.c /tmp/xx.ec}
+PASS: ec2c {-o /tmp/xx.c /tmp/xx.ec}
 PASS: ./lus2lic {-o /tmp/call07.lic should_work/call07.lus}
 PASS: ./lus2lic {-ec -o /tmp/call07.ec should_work/call07.lus}
 PASS: ec2c {-o /tmp/call07.c /tmp/call07.ec}
 PASS: ./lus2lic {-o /tmp/shift_ludic.lic should_work/shift_ludic.lus}
 PASS: ./lus2lic {-ec -o /tmp/shift_ludic.ec should_work/shift_ludic.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/shift_ludic.c /tmp/shift_ludic.ec}
+PASS: ec2c {-o /tmp/shift_ludic.c /tmp/shift_ludic.ec}
 PASS: ./lus2lic {-o /tmp/pilote-1.0.lic should_work/pilote-1.0.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/pilote-1.0.ec should_work/pilote-1.0.lus}
 PASS: ./lus2lic {-o /tmp/trivial.lic should_work/trivial.lus}
@@ -235,21 +235,21 @@ PASS: ./lus2lic {-ec -o /tmp/sincos.ec should_work/sincos.lus}
 PASS: ec2c {-o /tmp/sincos.c /tmp/sincos.ec}
 PASS: ./lus2lic {-o /tmp/morel5.lic should_work/morel5.lus}
 PASS: ./lus2lic {-ec -o /tmp/morel5.ec should_work/morel5.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/morel5.c /tmp/morel5.ec}
+PASS: ec2c {-o /tmp/morel5.c /tmp/morel5.ec}
 PASS: ./lus2lic {-o /tmp/bred.lic should_work/bred.lus}
 PASS: ./lus2lic {-ec -o /tmp/bred.ec should_work/bred.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/bred.c /tmp/bred.ec}
+PASS: ec2c {-o /tmp/bred.c /tmp/bred.ec}
 PASS: ./lus2lic {-o /tmp/tri.lic should_work/tri.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/tri.ec should_work/tri.lus}
 PASS: ./lus2lic {-o /tmp/calculs_max.lic should_work/calculs_max.lus}
 PASS: ./lus2lic {-ec -o /tmp/calculs_max.ec should_work/calculs_max.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/calculs_max.c /tmp/calculs_max.ec}
+PASS: ec2c {-o /tmp/calculs_max.c /tmp/calculs_max.ec}
 PASS: ./lus2lic {-o /tmp/testCA.lic should_work/testCA.lus}
 PASS: ./lus2lic {-ec -o /tmp/testCA.ec should_work/testCA.lus}
 PASS: ec2c {-o /tmp/testCA.c /tmp/testCA.ec}
 PASS: ./lus2lic {-o /tmp/deconne.lic should_work/deconne.lus}
 PASS: ./lus2lic {-ec -o /tmp/deconne.ec should_work/deconne.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/deconne.c /tmp/deconne.ec}
+PASS: ec2c {-o /tmp/deconne.c /tmp/deconne.ec}
 PASS: ./lus2lic {-o /tmp/noAlarm.lic should_work/noAlarm.lus}
 PASS: ./lus2lic {-ec -o /tmp/noAlarm.ec should_work/noAlarm.lus}
 PASS: ec2c {-o /tmp/noAlarm.c /tmp/noAlarm.ec}
@@ -263,7 +263,7 @@ PASS: ./lus2lic {-ec -o /tmp/enum.ec should_work/enum.lus}
 PASS: ec2c {-o /tmp/enum.c /tmp/enum.ec}
 PASS: ./lus2lic {-o /tmp/param_node4.lic should_work/param_node4.lus}
 PASS: ./lus2lic {-ec -o /tmp/param_node4.ec should_work/param_node4.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_node4.c /tmp/param_node4.ec}
+PASS: ec2c {-o /tmp/param_node4.c /tmp/param_node4.ec}
 PASS: ./lus2lic {-o /tmp/onlyroll.lic should_work/onlyroll.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/onlyroll.ec should_work/onlyroll.lus}
 PASS: ./lus2lic {-o /tmp/produitBool.lic should_work/produitBool.lus}
@@ -276,13 +276,13 @@ PASS: ./lus2lic {-ec -o /tmp/mouse.ec should_work/mouse.lus}
 PASS: ec2c {-o /tmp/mouse.c /tmp/mouse.ec}
 PASS: ./lus2lic {-o /tmp/param_node3.lic should_work/param_node3.lus}
 PASS: ./lus2lic {-ec -o /tmp/param_node3.ec should_work/param_node3.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_node3.c /tmp/param_node3.ec}
+PASS: ec2c {-o /tmp/param_node3.c /tmp/param_node3.ec}
 PASS: ./lus2lic {-o /tmp/pipeline.lic should_work/pipeline.lus}
 PASS: ./lus2lic {-ec -o /tmp/pipeline.ec should_work/pipeline.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/pipeline.c /tmp/pipeline.ec}
+PASS: ec2c {-o /tmp/pipeline.c /tmp/pipeline.ec}
 PASS: ./lus2lic {-o /tmp/mapinf.lic should_work/mapinf.lus}
 PASS: ./lus2lic {-ec -o /tmp/mapinf.ec should_work/mapinf.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mapinf.c /tmp/mapinf.ec}
+PASS: ec2c {-o /tmp/mapinf.c /tmp/mapinf.ec}
 PASS: ./lus2lic {-o /tmp/integrator.lic should_work/integrator.lus}
 PASS: ./lus2lic {-ec -o /tmp/integrator.ec should_work/integrator.lus}
 PASS: ec2c {-o /tmp/integrator.c /tmp/integrator.ec}
@@ -291,19 +291,19 @@ PASS: ./lus2lic {-ec -o /tmp/nc4.ec should_work/nc4.lus}
 PASS: ec2c {-o /tmp/nc4.c /tmp/nc4.ec}
 PASS: ./lus2lic {-o /tmp/mm3.lic should_work/mm3.lus}
 PASS: ./lus2lic {-ec -o /tmp/mm3.ec should_work/mm3.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mm3.c /tmp/mm3.ec}
+PASS: ec2c {-o /tmp/mm3.c /tmp/mm3.ec}
 PASS: ./lus2lic {-o /tmp/over2.lic should_work/over2.lus}
 PASS: ./lus2lic {-ec -o /tmp/over2.ec should_work/over2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/over2.c /tmp/over2.ec}
+PASS: ec2c {-o /tmp/over2.c /tmp/over2.ec}
 PASS: ./lus2lic {-o /tmp/complex.lic should_work/complex.lus}
 PASS: ./lus2lic {-ec -o /tmp/complex.ec should_work/complex.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/complex.c /tmp/complex.ec}
+PASS: ec2c {-o /tmp/complex.c /tmp/complex.ec}
 PASS: ./lus2lic {-o /tmp/initial.lic should_work/initial.lus}
 PASS: ./lus2lic {-ec -o /tmp/initial.ec should_work/initial.lus}
 PASS: ec2c {-o /tmp/initial.c /tmp/initial.ec}
 PASS: ./lus2lic {-o /tmp/declaration.lic should_work/declaration.lus}
 PASS: ./lus2lic {-ec -o /tmp/declaration.ec should_work/declaration.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/declaration.c /tmp/declaration.ec}
+PASS: ec2c {-o /tmp/declaration.c /tmp/declaration.ec}
 PASS: ./lus2lic {-o /tmp/PCOND1.lic should_work/PCOND1.lus}
 PASS: ./lus2lic {-ec -o /tmp/PCOND1.ec should_work/PCOND1.lus}
 PASS: ec2c {-o /tmp/PCOND1.c /tmp/PCOND1.ec}
@@ -329,25 +329,25 @@ PASS: ./lus2lic {-o /tmp/Int.lic should_work/Int.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/Int.ec should_work/Int.lus}
 PASS: ./lus2lic {-o /tmp/t2.lic should_work/t2.lus}
 PASS: ./lus2lic {-ec -o /tmp/t2.ec should_work/t2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/t2.c /tmp/t2.ec}
+PASS: ec2c {-o /tmp/t2.c /tmp/t2.ec}
 PASS: ./lus2lic {-o /tmp/arbitre.lic should_work/arbitre.lus}
 PASS: ./lus2lic {-ec -o /tmp/arbitre.ec should_work/arbitre.lus}
 PASS: ec2c {-o /tmp/arbitre.c /tmp/arbitre.ec}
 PASS: ./lus2lic {-o /tmp/test_const.lic should_work/test_const.lus}
 PASS: ./lus2lic {-ec -o /tmp/test_const.ec should_work/test_const.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/test_const.c /tmp/test_const.ec}
+PASS: ec2c {-o /tmp/test_const.c /tmp/test_const.ec}
 PASS: ./lus2lic {-o /tmp/when_tuple.lic should_work/when_tuple.lus}
 PASS: ./lus2lic {-ec -o /tmp/when_tuple.ec should_work/when_tuple.lus}
 PASS: ec2c {-o /tmp/when_tuple.c /tmp/when_tuple.ec}
 PASS: ./lus2lic {-o /tmp/FillFollowedByRed.lic should_work/FillFollowedByRed.lus}
 PASS: ./lus2lic {-ec -o /tmp/FillFollowedByRed.ec should_work/FillFollowedByRed.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/FillFollowedByRed.c /tmp/FillFollowedByRed.ec}
+PASS: ec2c {-o /tmp/FillFollowedByRed.c /tmp/FillFollowedByRed.ec}
 PASS: ./lus2lic {-o /tmp/sample_time_change.lic should_work/sample_time_change.lus}
 PASS: ./lus2lic {-ec -o /tmp/sample_time_change.ec should_work/sample_time_change.lus}
 PASS: ec2c {-o /tmp/sample_time_change.c /tmp/sample_time_change.ec}
 PASS: ./lus2lic {-o /tmp/predef01.lic should_work/predef01.lus}
 PASS: ./lus2lic {-ec -o /tmp/predef01.ec should_work/predef01.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/predef01.c /tmp/predef01.ec}
+PASS: ec2c {-o /tmp/predef01.c /tmp/predef01.ec}
 PASS: ./lus2lic {-o /tmp/long_et_stupide_nom_de_noeud.lic should_work/long_et_stupide_nom_de_noeud.lus}
 PASS: ./lus2lic {-ec -o /tmp/long_et_stupide_nom_de_noeud.ec should_work/long_et_stupide_nom_de_noeud.lus}
 PASS: ec2c {-o /tmp/long_et_stupide_nom_de_noeud.c /tmp/long_et_stupide_nom_de_noeud.ec}
@@ -356,7 +356,7 @@ PASS: ./lus2lic {-ec -o /tmp/CURRENT.ec should_work/CURRENT.lus}
 PASS: ec2c {-o /tmp/CURRENT.c /tmp/CURRENT.ec}
 PASS: ./lus2lic {-o /tmp/left.lic should_work/left.lus}
 PASS: ./lus2lic {-ec -o /tmp/left.ec should_work/left.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/left.c /tmp/left.ec}
+PASS: ec2c {-o /tmp/left.c /tmp/left.ec}
 PASS: ./lus2lic {-o /tmp/ts04.lic should_work/ts04.lus}
 PASS: ./lus2lic {-ec -o /tmp/ts04.ec should_work/ts04.lus}
 PASS: ec2c {-o /tmp/ts04.c /tmp/ts04.ec}
@@ -373,7 +373,7 @@ PASS: ./lus2lic {-ec -o /tmp/SOURIS.ec should_work/SOURIS.lus}
 PASS: ec2c {-o /tmp/SOURIS.c /tmp/SOURIS.ec}
 PASS: ./lus2lic {-o /tmp/param_node2.lic should_work/param_node2.lus}
 PASS: ./lus2lic {-ec -o /tmp/param_node2.ec should_work/param_node2.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_node2.c /tmp/param_node2.ec}
+PASS: ec2c {-o /tmp/param_node2.c /tmp/param_node2.ec}
 PASS: ./lus2lic {-o /tmp/o2l_feux_compl.lic should_work/o2l_feux_compl.lus}
 PASS: ./lus2lic {-ec -o /tmp/o2l_feux_compl.ec should_work/o2l_feux_compl.lus}
 PASS: ec2c {-o /tmp/o2l_feux_compl.c /tmp/o2l_feux_compl.ec}
@@ -395,10 +395,10 @@ PASS: ./lus2lic {-ec -o /tmp/exclusion.ec should_work/exclusion.lus}
 PASS: ec2c {-o /tmp/exclusion.c /tmp/exclusion.ec}
 PASS: ./lus2lic {-o /tmp/def.lic should_work/def.lus}
 PASS: ./lus2lic {-ec -o /tmp/def.ec should_work/def.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/def.c /tmp/def.ec}
+UNRESOLVED: Time out: ec2c {-o /tmp/def.c /tmp/def.ec}
 PASS: ./lus2lic {-o /tmp/consensus.lic should_work/consensus.lus}
 PASS: ./lus2lic {-ec -o /tmp/consensus.ec should_work/consensus.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/consensus.c /tmp/consensus.ec}
+PASS: ec2c {-o /tmp/consensus.c /tmp/consensus.ec}
 PASS: ./lus2lic {-o /tmp/activation2.lic should_work/activation2.lus}
 PASS: ./lus2lic {-ec -o /tmp/activation2.ec should_work/activation2.lus}
 PASS: ec2c {-o /tmp/activation2.c /tmp/activation2.ec}
@@ -407,7 +407,7 @@ PASS: ./lus2lic {-ec -o /tmp/import1.ec should_work/import1.lus}
 PASS: ec2c {-o /tmp/import1.c /tmp/import1.ec}
 PASS: ./lus2lic {-o /tmp/pack1.lic should_work/pack1.lus}
 PASS: ./lus2lic {-ec -o /tmp/pack1.ec should_work/pack1.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/pack1.c /tmp/pack1.ec}
+PASS: ec2c {-o /tmp/pack1.c /tmp/pack1.ec}
 PASS: ./lus2lic {-o /tmp/bob.lic should_work/bob.lus}
 PASS: ./lus2lic {-ec -o /tmp/bob.ec should_work/bob.lus}
 PASS: ec2c {-o /tmp/bob.c /tmp/bob.ec}
@@ -416,7 +416,7 @@ PASS: ./lus2lic {-ec -o /tmp/notTwo.ec should_work/notTwo.lus}
 PASS: ec2c {-o /tmp/notTwo.c /tmp/notTwo.ec}
 PASS: ./lus2lic {-o /tmp/struct.lic should_work/struct.lus}
 PASS: ./lus2lic {-ec -o /tmp/struct.ec should_work/struct.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/struct.c /tmp/struct.ec}
+PASS: ec2c {-o /tmp/struct.c /tmp/struct.ec}
 PASS: ./lus2lic {-o /tmp/stopwatch.lic should_work/stopwatch.lus}
 PASS: ./lus2lic {-ec -o /tmp/stopwatch.ec should_work/stopwatch.lus}
 PASS: ec2c {-o /tmp/stopwatch.c /tmp/stopwatch.ec}
@@ -429,7 +429,7 @@ PASS: ./lus2lic {-ec -o /tmp/minmax1.ec should_work/minmax1.lus}
 PASS: ec2c {-o /tmp/minmax1.c /tmp/minmax1.ec}
 PASS: ./lus2lic {-o /tmp/aa.lic should_work/aa.lus}
 PASS: ./lus2lic {-ec -o /tmp/aa.ec should_work/aa.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/aa.c /tmp/aa.ec}
+PASS: ec2c {-o /tmp/aa.c /tmp/aa.ec}
 PASS: ./lus2lic {-o /tmp/mouse3.lic should_work/mouse3.lus}
 PASS: ./lus2lic {-ec -o /tmp/mouse3.ec should_work/mouse3.lus}
 PASS: ec2c {-o /tmp/mouse3.c /tmp/mouse3.ec}
@@ -438,13 +438,13 @@ PASS: ./lus2lic {-ec -o /tmp/ex.ec should_work/ex.lus}
 PASS: ec2c {-o /tmp/ex.c /tmp/ex.ec}
 PASS: ./lus2lic {-o /tmp/xxx.lic should_work/xxx.lus}
 PASS: ./lus2lic {-ec -o /tmp/xxx.ec should_work/xxx.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/xxx.c /tmp/xxx.ec}
+PASS: ec2c {-o /tmp/xxx.c /tmp/xxx.ec}
 PASS: ./lus2lic {-o /tmp/aux1.lic should_work/aux1.lus}
 PASS: ./lus2lic {-ec -o /tmp/aux1.ec should_work/aux1.lus}
 PASS: ec2c {-o /tmp/aux1.c /tmp/aux1.ec}
 PASS: ./lus2lic {-o /tmp/moyenne.lic should_work/moyenne.lus}
 PASS: ./lus2lic {-ec -o /tmp/moyenne.ec should_work/moyenne.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/moyenne.c /tmp/moyenne.ec}
+PASS: ec2c {-o /tmp/moyenne.c /tmp/moyenne.ec}
 PASS: ./lus2lic {-o /tmp/activation1.lic should_work/activation1.lus}
 PASS: ./lus2lic {-ec -o /tmp/activation1.ec should_work/activation1.lus}
 PASS: ec2c {-o /tmp/activation1.c /tmp/activation1.ec}
@@ -461,30 +461,30 @@ PASS: ./lus2lic {-ec -o /tmp/ck4.ec should_work/ck4.lus}
 PASS: ec2c {-o /tmp/ck4.c /tmp/ck4.ec}
 PASS: ./lus2lic {-o /tmp/struct0.lic should_work/struct0.lus}
 PASS: ./lus2lic {-ec -o /tmp/struct0.ec should_work/struct0.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/struct0.c /tmp/struct0.ec}
+PASS: ec2c {-o /tmp/struct0.c /tmp/struct0.ec}
 PASS: ./lus2lic {-o /tmp/filliter.lic should_work/filliter.lus}
 PASS: ./lus2lic {-ec -o /tmp/filliter.ec should_work/filliter.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/filliter.c /tmp/filliter.ec}
+PASS: ec2c {-o /tmp/filliter.c /tmp/filliter.ec}
 PASS: ./lus2lic {-o /tmp/minmax4.lic should_work/minmax4.lus}
 PASS: ./lus2lic {-ec -o /tmp/minmax4.ec should_work/minmax4.lus}
 PASS: ec2c {-o /tmp/minmax4.c /tmp/minmax4.ec}
 PASS: ./lus2lic {-o /tmp/nested.lic should_work/nested.lus}
 PASS: ./lus2lic {-ec -o /tmp/nested.ec should_work/nested.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/nested.c /tmp/nested.ec}
+PASS: ec2c {-o /tmp/nested.c /tmp/nested.ec}
 PASS: ./lus2lic {-o /tmp/Gyroscope.lic should_work/Gyroscope.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/Gyroscope.ec should_work/Gyroscope.lus}
 PASS: ./lus2lic {-o /tmp/asservi.lic should_work/asservi.lus}
 PASS: ./lus2lic {-ec -o /tmp/asservi.ec should_work/asservi.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/asservi.c /tmp/asservi.ec}
+PASS: ec2c {-o /tmp/asservi.c /tmp/asservi.ec}
 PASS: ./lus2lic {-o /tmp/rediter.lic should_work/rediter.lus}
 PASS: ./lus2lic {-ec -o /tmp/rediter.ec should_work/rediter.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/rediter.c /tmp/rediter.ec}
+PASS: ec2c {-o /tmp/rediter.c /tmp/rediter.ec}
 PASS: ./lus2lic {-o /tmp/mapdeRed.lic should_work/mapdeRed.lus}
 PASS: ./lus2lic {-ec -o /tmp/mapdeRed.ec should_work/mapdeRed.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mapdeRed.c /tmp/mapdeRed.ec}
+PASS: ec2c {-o /tmp/mapdeRed.c /tmp/mapdeRed.ec}
 PASS: ./lus2lic {-o /tmp/dependeur_struct.lic should_work/dependeur_struct.lus}
 PASS: ./lus2lic {-ec -o /tmp/dependeur_struct.ec should_work/dependeur_struct.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/dependeur_struct.c /tmp/dependeur_struct.ec}
+PASS: ec2c {-o /tmp/dependeur_struct.c /tmp/dependeur_struct.ec}
 PASS: ./lus2lic {-o /tmp/minmax4_bis.lic should_work/minmax4_bis.lus}
 PASS: ./lus2lic {-ec -o /tmp/minmax4_bis.ec should_work/minmax4_bis.lus}
 PASS: ec2c {-o /tmp/minmax4_bis.c /tmp/minmax4_bis.ec}
@@ -493,10 +493,10 @@ PASS: ./lus2lic {-ec -o /tmp/uu.ec should_work/uu.lus}
 PASS: ec2c {-o /tmp/uu.c /tmp/uu.ec}
 PASS: ./lus2lic {-o /tmp/simpleRed.lic should_work/simpleRed.lus}
 PASS: ./lus2lic {-ec -o /tmp/simpleRed.ec should_work/simpleRed.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/simpleRed.c /tmp/simpleRed.ec}
+PASS: ec2c {-o /tmp/simpleRed.c /tmp/simpleRed.ec}
 PASS: ./lus2lic {-o /tmp/map.lic should_work/map.lus}
 PASS: ./lus2lic {-ec -o /tmp/map.ec should_work/map.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/map.c /tmp/map.ec}
+PASS: ec2c {-o /tmp/map.c /tmp/map.ec}
 PASS: ./lus2lic {-o /tmp/drapfab.lic should_work/drapfab.lus}
 PASS: ./lus2lic {-ec -o /tmp/drapfab.ec should_work/drapfab.lus}
 PASS: ec2c {-o /tmp/drapfab.c /tmp/drapfab.ec}
@@ -514,16 +514,16 @@ PASS: ./lus2lic {-ec -o /tmp/X2.ec should_work/X2.lus}
 PASS: ec2c {-o /tmp/X2.c /tmp/X2.ec}
 PASS: ./lus2lic {-o /tmp/alias.lic should_work/alias.lus}
 PASS: ./lus2lic {-ec -o /tmp/alias.ec should_work/alias.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/alias.c /tmp/alias.ec}
+PASS: ec2c {-o /tmp/alias.c /tmp/alias.ec}
 PASS: ./lus2lic {-o /tmp/hanane.lic should_work/hanane.lus}
 PASS: ./lus2lic {-ec -o /tmp/hanane.ec should_work/hanane.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/hanane.c /tmp/hanane.ec}
+PASS: ec2c {-o /tmp/hanane.c /tmp/hanane.ec}
 PASS: ./lus2lic {-o /tmp/packed_cst.lic should_work/packed_cst.lus}
 PASS: ./lus2lic {-ec -o /tmp/packed_cst.ec should_work/packed_cst.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/packed_cst.c /tmp/packed_cst.ec}
+PASS: ec2c {-o /tmp/packed_cst.c /tmp/packed_cst.ec}
 PASS: ./lus2lic {-o /tmp/predef02.lic should_work/predef02.lus}
 PASS: ./lus2lic {-ec -o /tmp/predef02.ec should_work/predef02.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/predef02.c /tmp/predef02.ec}
+PASS: ec2c {-o /tmp/predef02.c /tmp/predef02.ec}
 PASS: ./lus2lic {-o /tmp/toto.lic should_work/toto.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/toto.ec should_work/toto.lus}
 PASS: ./lus2lic {-o /tmp/minmax6.lic should_work/minmax6.lus}
@@ -534,13 +534,13 @@ PASS: ./lus2lic {-ec -o /tmp/ck3.ec should_work/ck3.lus}
 PASS: ec2c {-o /tmp/ck3.c /tmp/ck3.ec}
 PASS: ./lus2lic {-o /tmp/zzz.lic should_work/zzz.lus}
 PASS: ./lus2lic {-ec -o /tmp/zzz.ec should_work/zzz.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/zzz.c /tmp/zzz.ec}
+PASS: ec2c {-o /tmp/zzz.c /tmp/zzz.ec}
 PASS: ./lus2lic {-o /tmp/STABLE.lic should_work/STABLE.lus}
 PASS: ./lus2lic {-ec -o /tmp/STABLE.ec should_work/STABLE.lus}
 PASS: ec2c {-o /tmp/STABLE.c /tmp/STABLE.ec}
 PASS: ./lus2lic {-o /tmp/mapiter.lic should_work/mapiter.lus}
 PASS: ./lus2lic {-ec -o /tmp/mapiter.ec should_work/mapiter.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/mapiter.c /tmp/mapiter.ec}
+PASS: ec2c {-o /tmp/mapiter.c /tmp/mapiter.ec}
 PASS: ./lus2lic {-o /tmp/tuple.lic should_work/tuple.lus}
 PASS: ./lus2lic {-ec -o /tmp/tuple.ec should_work/tuple.lus}
 PASS: ec2c {-o /tmp/tuple.c /tmp/tuple.ec}
@@ -558,13 +558,13 @@ PASS: ./lus2lic {-ec -o /tmp/s.ec should_work/s.lus}
 PASS: ec2c {-o /tmp/s.c /tmp/s.ec}
 PASS: ./lus2lic {-o /tmp/redoptest.lic should_work/redoptest.lus}
 PASS: ./lus2lic {-ec -o /tmp/redoptest.ec should_work/redoptest.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/redoptest.c /tmp/redoptest.ec}
+PASS: ec2c {-o /tmp/redoptest.c /tmp/redoptest.ec}
 PASS: ./lus2lic {-o /tmp/flo.lic should_work/flo.lus}
 PASS: ./lus2lic {-ec -o /tmp/flo.ec should_work/flo.lus}
 PASS: ec2c {-o /tmp/flo.c /tmp/flo.ec}
 PASS: ./lus2lic {-o /tmp/shiftFill_ludic.lic should_work/shiftFill_ludic.lus}
 PASS: ./lus2lic {-ec -o /tmp/shiftFill_ludic.ec should_work/shiftFill_ludic.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/shiftFill_ludic.c /tmp/shiftFill_ludic.ec}
+PASS: ec2c {-o /tmp/shiftFill_ludic.c /tmp/shiftFill_ludic.ec}
 PASS: ./lus2lic {-o /tmp/after.lic should_work/after.lus}
 PASS: ./lus2lic {-ec -o /tmp/after.ec should_work/after.lus}
 PASS: ec2c {-o /tmp/after.c /tmp/after.ec}
@@ -581,7 +581,7 @@ PASS: ./lus2lic {-ec -o /tmp/speedcontrol.ec should_work/speedcontrol.lus}
 PASS: ec2c {-o /tmp/speedcontrol.c /tmp/speedcontrol.ec}
 PASS: ./lus2lic {-o /tmp/iterate.lic should_work/iterate.lus}
 PASS: ./lus2lic {-ec -o /tmp/iterate.ec should_work/iterate.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/iterate.c /tmp/iterate.ec}
+PASS: ec2c {-o /tmp/iterate.c /tmp/iterate.ec}
 PASS: ./lus2lic {-o /tmp/PCOND.lic should_work/PCOND.lus}
 PASS: ./lus2lic {-ec -o /tmp/PCOND.ec should_work/PCOND.lus}
 PASS: ec2c {-o /tmp/PCOND.c /tmp/PCOND.ec}
@@ -610,19 +610,19 @@ PASS: ./lus2lic {-ec -o /tmp/clock1_2ms.ec should_work/clock1_2ms.lus}
 PASS: ec2c {-o /tmp/clock1_2ms.c /tmp/clock1_2ms.ec}
 PASS: ./lus2lic {-o /tmp/bred_lv4.lic should_work/bred_lv4.lus}
 PASS: ./lus2lic {-ec -o /tmp/bred_lv4.ec should_work/bred_lv4.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/bred_lv4.c /tmp/bred_lv4.ec}
+PASS: ec2c {-o /tmp/bred_lv4.c /tmp/bred_lv4.ec}
 PASS: ./lus2lic {-o /tmp/trivial2.lic should_work/trivial2.lus}
 PASS: ./lus2lic {-ec -o /tmp/trivial2.ec should_work/trivial2.lus}
 PASS: ec2c {-o /tmp/trivial2.c /tmp/trivial2.ec}
 PASS: ./lus2lic {-o /tmp/param_node.lic should_work/param_node.lus}
 PASS: ./lus2lic {-ec -o /tmp/param_node.ec should_work/param_node.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/param_node.c /tmp/param_node.ec}
+PASS: ec2c {-o /tmp/param_node.c /tmp/param_node.ec}
 PASS: ./lus2lic {-o /tmp/func_with_body.lic should_work/func_with_body.lus}
 PASS: ./lus2lic {-ec -o /tmp/func_with_body.ec should_work/func_with_body.lus}
 PASS: ec2c {-o /tmp/func_with_body.c /tmp/func_with_body.ec}
 PASS: ./lus2lic {-o /tmp/minus.lic should_work/minus.lus}
 PASS: ./lus2lic {-ec -o /tmp/minus.ec should_work/minus.lus}
-FAIL: Try ec2c on the result: ec2c {-o /tmp/minus.c /tmp/minus.ec}
+PASS: ec2c {-o /tmp/minus.c /tmp/minus.ec}
 PASS: ./lus2lic {-o /tmp/remplissage-1.0.lic should_work/remplissage-1.0.lus}
 FAIL: Generate ec code  : ./lus2lic {-ec -o /tmp/remplissage-1.0.ec should_work/remplissage-1.0.lus}
 XFAIL: Test bad programs (syntax): lus2lic {-o /tmp/old_style_and_pack.lic should_fail/syntax/old_style_and_pack.lus}
@@ -797,8 +797,8 @@ XPASS: Test bad programs (semantics): lus2lic {-o /tmp/bug.lic should_fail/seman
 
 		=== lus2lic Summary ===
 
-# of expected passes		567
-# of unexpected failures	179
+# of expected passes		637
+# of unexpected failures	108
 # of unexpected successes	8
 # of expected failures		26
-# of unresolved testcases	5
+# of unresolved testcases	6
diff --git a/test/lus2lic.time b/test/lus2lic.time
index 6e505d676ea56654d6e4190206303c5a2fc3fde2..8a58a30fe556f8922de73d09769ad60fe48c0448 100644
--- a/test/lus2lic.time
+++ b/test/lus2lic.time
@@ -1,2 +1,2 @@
-testcase ./lus2lic.tests/non-reg.exp completed in 90 seconds
-testcase ./lus2lic.tests/progression.exp completed in 13 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 183 seconds
+testcase ./lus2lic.tests/progression.exp completed in 12 seconds
diff --git a/test/site.exp b/test/site.exp
index 8c6a4778819aa4b8462b7376eeeab7216484466e..8a2d7a3987ad4f4df61b8a6dbb44e1695d25d989 100644
--- a/test/site.exp
+++ b/test/site.exp
@@ -25,6 +25,10 @@ proc should_work { test_name command_line args } {
             set failed 1
             exp_continue
         }
+        "ec program must contain a single node" {
+            set failed 1
+            exp_continue
+        }
         "error" {
             set failed 1
             exp_continue