diff --git a/testdata/parser/positive/17.pdl b/testdata/parser/positive/17.pdl
deleted file mode 100644
index 36f68933457d82badaa6e40018f542f3f756a062..0000000000000000000000000000000000000000
--- a/testdata/parser/positive/17.pdl
+++ /dev/null
@@ -1,50 +0,0 @@
-#version 100
-
-composite main(in x, out y) {
-	new prophet(x, y);
-}
-
-primitive prophet(in b, out a) {
-	msg c = null;
-	while (true) {
-		if (c != null) {
-			sync {
-				assert !fires(a);
-				if (fires(b)) {
-					assert get(b) == c;
-					c = null;
-				}
-			}
-		} else {
-			synchronous (msg x) {
-				assert !fires(b);
-				if (fires(a)) {
-					put(a, x);
-					c = x;
-				}
-			}
-		}
-	}
-}
-
-primitive fifo(in a, out b, msg init) {
-    msg c = init;
-    while (true) {
-        if (c != null) {
-        	sync {
-                assert !fires(a);
-                if (fires(b)) {
-                    put(b, c);
-                    c = null;
-                }
-            }
-        } else {
-        	sync {
-                assert !fires(b);
-                if (fires(a)) {
-                    c = get(a);
-                }
-            }
-        }
-    }
-}
\ No newline at end of file