diff --git a/examples/dft/seq1.dft b/examples/dft/seq1.dft
index 8f5459fd2..6fd99bc3b 100644
--- a/examples/dft/seq1.dft
+++ b/examples/dft/seq1.dft
@@ -1,5 +1,5 @@
 toplevel "A";
 "A" and "B" "C";
-"X" seq "B" "C";
+"X" seq "B" "C"
 "B" lambda=0.5 dorm=0.3;
 "C" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/seq2.dft b/examples/dft/seq2.dft
new file mode 100644
index 000000000..408d4c26d
--- /dev/null
+++ b/examples/dft/seq2.dft
@@ -0,0 +1,6 @@
+toplevel "A";
+"A" and "B" "C" "D";
+"X" seq "B" "C" "D";
+"B" lambda=0.5 dorm=0.3;
+"C" lambda=0.5 dorm=0.3;
+"D" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/seq3.dft b/examples/dft/seq3.dft
new file mode 100644
index 000000000..b22b9e8b6
--- /dev/null
+++ b/examples/dft/seq3.dft
@@ -0,0 +1,6 @@
+toplevel "A";
+"A" and "C" "D";
+"X" seq "B" "C" "D";
+"B" lambda=0.5 dorm=0.3;
+"C" lambda=0.5 dorm=0.3;
+"D" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/seq3.txt b/examples/dft/seq3.txt
new file mode 100644
index 000000000..b22b9e8b6
--- /dev/null
+++ b/examples/dft/seq3.txt
@@ -0,0 +1,6 @@
+toplevel "A";
+"A" and "C" "D";
+"X" seq "B" "C" "D";
+"B" lambda=0.5 dorm=0.3;
+"C" lambda=0.5 dorm=0.3;
+"D" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/seq4.dft b/examples/dft/seq4.dft
new file mode 100644
index 000000000..260a88266
--- /dev/null
+++ b/examples/dft/seq4.dft
@@ -0,0 +1,6 @@
+toplevel "A";
+"A" or "C" "D";
+"X" seq "B" "C" "D";
+"B" lambda=0.5 dorm=0.3;
+"C" lambda=0.5 dorm=0.3;
+"D" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/seq5.dft b/examples/dft/seq5.dft
new file mode 100644
index 000000000..60bf149af
--- /dev/null
+++ b/examples/dft/seq5.dft
@@ -0,0 +1,7 @@
+toplevel "A";
+"A" and "T1" "B3";
+"T1" or "B1" "B2";
+"X" seq "B1" "B2" "B3";
+"B1" lambda=0.5 dorm=0.3;
+"B2" lambda=0.5 dorm=0.3;
+"B3" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/seq6.dft b/examples/dft/seq6.dft
new file mode 100644
index 000000000..8453cb411
--- /dev/null
+++ b/examples/dft/seq6.dft
@@ -0,0 +1,8 @@
+toplevel "A";
+"A" and "T1" "T2";
+"T1" pand "B1" "B2"; 
+"T2" pand "B3" "B4;
+"B1" lambda=0.7 dorm=0.3;
+"B2" lambda=0.5 dorm=0.3;
+"B3" lambda=0.5 dorm=0.3;
+"B4" lambda=0.7 dorm=0.3;