diff --git a/examples/dft/seq1.dft b/examples/dft/seq.dft
similarity index 100%
rename from examples/dft/seq1.dft
rename to examples/dft/seq.dft
diff --git a/examples/dft/seq3.txt b/examples/dft/seq3.txt
deleted file mode 100644
index b22b9e8b6..000000000
--- a/examples/dft/seq3.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-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
index 260a88266..60bf149af 100644
--- a/examples/dft/seq4.dft
+++ b/examples/dft/seq4.dft
@@ -1,6 +1,7 @@
 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;
+"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/seq5.dft b/examples/dft/seq5.dft
index 60bf149af..77b13ddeb 100644
--- a/examples/dft/seq5.dft
+++ b/examples/dft/seq5.dft
@@ -1,7 +1,9 @@
 toplevel "A";
-"A" and "T1" "B3";
-"T1" or "B1" "B2";
-"X" seq "B1" "B2" "B3";
-"B1" lambda=0.5 dorm=0.3;
+"A" and "T1" "T2";
+"T1" pand "B1" "B2"; 
+"T2" pand "B3" "B4";
+"X" seq "B4" "B3";
+"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;
diff --git a/examples/dft/seq6.dft b/examples/dft/seq6.dft
deleted file mode 100644
index 8453cb411..000000000
--- a/examples/dft/seq6.dft
+++ /dev/null
@@ -1,8 +0,0 @@
-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;