diff --git a/src/test/should_work/clock/clock_ite.lus b/src/test/should_work/clock/clock_ite.lus
new file mode 100644
index 0000000000000000000000000000000000000000..9ddc3bf3b43eca295c7a6b64475dc7acdc69513c
--- /dev/null
+++ b/src/test/should_work/clock/clock_ite.lus
@@ -0,0 +1,10 @@
+
+
+node clock(a: bool; b: bool) returns (c: bool when a);
+-- var
+--  z: bool;
+
+let 
+  c = if a when a then (b when a) else (not b when a);
+
+tel