diff --git a/test/good/t1.zls b/test/good/t1.zls
index 1d4eaf82..922a5cf6 100644
--- a/test/good/t1.zls
+++ b/test/good/t1.zls
@@ -1,3 +1,10 @@
+let node main__() = o where
+  rec automaton
+      | S1 -> let rec cpt = 0 -> pre cpt + 1 in
+              do o = cpt + 1 until (cpt = 42) then S2
+      | S2 -> let rec cpt = 0 -> pre cpt + 1 in
+              do o = cpt + -1 done
+      end
 type t2 = int
 
 let ff(x:t2) = 1 + x