diff --git a/examples/dft/nonmonoton_param.dft b/examples/dft/nonmonoton_param.dft
new file mode 100644
index 000000000..e83f3b012
--- /dev/null
+++ b/examples/dft/nonmonoton_param.dft
@@ -0,0 +1,8 @@
+param x;
+param y;
+toplevel "A";
+"A" or "B" "Z";
+"B" pand "D" "S";
+"Z" lambda=y dorm=0;
+"D" lambda=100 dorm=0;
+"S" lambda=100*x dorm=0;
diff --git a/examples/dft/spare_param.dft b/examples/dft/spare_param.dft
new file mode 100644
index 000000000..5378b13d2
--- /dev/null
+++ b/examples/dft/spare_param.dft
@@ -0,0 +1,9 @@
+param x;
+param y;
+toplevel "SF";
+"SF" or "FW" "BW";
+"FW" wsp "W1" "WS";
+"BW" wsp "W2" "WS";
+"W1" lambda=x dorm=0;
+"W2" lambda=1 dorm=0;
+"WS" lambda=y dorm=0;
diff --git a/examples/dft/symmetry_param.dft b/examples/dft/symmetry_param.dft
new file mode 100644
index 000000000..412968c80
--- /dev/null
+++ b/examples/dft/symmetry_param.dft
@@ -0,0 +1,10 @@
+param x;
+param y;
+toplevel "A";
+"A" and "B" "B'";
+"B" and "C" "D";
+"B'" and "C'" "D'";
+"C" lambda=x dorm=0;
+"D" lambda=y dorm=0;
+"C'" lambda=x dorm=0;
+"D'" lambda=y dorm=0;