diff --git a/test/good/name_clash.ept b/test/good/name_clash.ept
new file mode 100644
index 0000000..8976e2a
--- /dev/null
+++ b/test/good/name_clash.ept
@@ -0,0 +1,13 @@
+node main() returns (o : int)
+let
+  automaton
+    state I
+      var x : int;
+      do x = 0; o = x;
+      until true then J
+    state J
+      var x : int;
+      do x = 1; o = x;
+      until true then I
+  end
+tel