Cleaned examples

Former-commit-id: 37a0ad6cc8

examples/dft/seq3.txt

@@ -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;

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;

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;

examples/dft/seq6.dft

@@ -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;