diff --git a/testdata/parser/positive/10.pdl b/testdata/parser/positive/10.pdl
new file mode 100644
index 0000000000000000000000000000000000000000..0c5d30773f0a2016c9910948ff7b9de81e2c4cb2
--- /dev/null
+++ b/testdata/parser/positive/10.pdl
@@ -0,0 +1,27 @@
+#version 100
+
+composite main() {}
+
+primitive example(in a, out[] b) {
+	while (true) {
+		synchronous {
+			if (fires(a)) {
+				int i = 0;
+				while (i < b.length) {
+					if (fires(b[i])) {
+						int j = i + 1;
+						while (j < b.length)
+							assert !fires(b[j++]);
+						break;
+					}
+					i++;
+				}
+				assert i < b.length;
+			} else {
+				int i = 0;
+				while (i < b.length)
+					assert !fires(b[i++]);
+			}
+		}
+	}
+}
\ No newline at end of file