diff --git a/test/bad/clocking.ept b/test/bad/clocking.ept
new file mode 100644
index 0000000..112af6d
--- /dev/null
+++ b/test/bad/clocking.ept
@@ -0,0 +1,6 @@
+node f (i:int; c:bool) returns (x:int)
+var t:int;
+let
+  t = 0 fby t when true(c);
+  x = i;
+tel