diff --git a/fco2/testcases/timer-guards.occ b/fco2/testcases/timer-guards.occ
new file mode 100644
index 0000000..9361d40
--- /dev/null
+++ b/fco2/testcases/timer-guards.occ
@@ -0,0 +1,16 @@
+PROC P ()
+  CHAN OF INT c, d:
+  TIMER tim:
+  INT t, x:
+  SEQ
+    tim ? t
+    ALT
+      c ? x
+        SKIP
+      d ? x
+        SKIP
+      tim ? AFTER t PLUS 100000
+        SKIP
+      tim ? AFTER t PLUS 200000
+        SKIP
+: