From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 19 Apr 2016 17:58:43 +0000 (+0200)
Subject: fix tests
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=ee9cbf3487001aceee2a3833d08667fffaa432ac;p=mc1516pa.git

fix tests
---

diff --git a/modelchecker/tests/1.ae b/modelchecker/tests/1.ae
deleted file mode 100644
index 4092a4b..0000000
--- a/modelchecker/tests/1.ae
+++ /dev/null
@@ -1,2 +0,0 @@
-$
-@
diff --git a/modelchecker/tests/1.af b/modelchecker/tests/1.af
deleted file mode 100644
index 0616932..0000000
--- a/modelchecker/tests/1.af
+++ /dev/null
@@ -1,2 +0,0 @@
-+
-$
diff --git a/modelchecker/tests/1.ag b/modelchecker/tests/1.ag
deleted file mode 100644
index 32c2eda..0000000
--- a/modelchecker/tests/1.ag
+++ /dev/null
@@ -1,2 +0,0 @@
-*
-@
diff --git a/modelchecker/tests/1.ah b/modelchecker/tests/1.ah
deleted file mode 100644
index efebaa7..0000000
--- a/modelchecker/tests/1.ah
+++ /dev/null
@@ -1,2 +0,0 @@
-+
-*
diff --git a/modelchecker/tests/1.aq b/modelchecker/tests/1.aq
deleted file mode 100644
index 030097c..0000000
--- a/modelchecker/tests/1.aq
+++ /dev/null
@@ -1 +0,0 @@
-@15128
diff --git a/modelchecker/tests/1.ar b/modelchecker/tests/1.ar
deleted file mode 100644
index 670ac56..0000000
--- a/modelchecker/tests/1.ar
+++ /dev/null
@@ -1 +0,0 @@
-+15128
diff --git a/modelchecker/tests/1.as b/modelchecker/tests/1.as
deleted file mode 100644
index 857f13a..0000000
--- a/modelchecker/tests/1.as
+++ /dev/null
@@ -1 +0,0 @@
-$
diff --git a/modelchecker/tests/1.at b/modelchecker/tests/1.at
deleted file mode 100644
index dd17080..0000000
--- a/modelchecker/tests/1.at
+++ /dev/null
@@ -1 +0,0 @@
-$+$
diff --git a/modelchecker/tests/1.au b/modelchecker/tests/1.au
deleted file mode 100644
index 9d1d9d3..0000000
--- a/modelchecker/tests/1.au
+++ /dev/null
@@ -1 +0,0 @@
-15128@
diff --git a/modelchecker/tests/1.av b/modelchecker/tests/1.av
deleted file mode 100644
index 455102c..0000000
--- a/modelchecker/tests/1.av
+++ /dev/null
@@ -1 +0,0 @@
-15128+
diff --git a/modelchecker/tests/1.aw b/modelchecker/tests/1.aw
deleted file mode 100644
index d27d6a3..0000000
--- a/modelchecker/tests/1.aw
+++ /dev/null
@@ -1 +0,0 @@
-@**
diff --git a/modelchecker/tests/1.ax b/modelchecker/tests/1.ax
deleted file mode 100644
index 25e4d31..0000000
--- a/modelchecker/tests/1.ax
+++ /dev/null
@@ -1 +0,0 @@
-+**
diff --git a/modelchecker/tests/1.ay b/modelchecker/tests/1.ay
deleted file mode 100644
index b9b5457..0000000
--- a/modelchecker/tests/1.ay
+++ /dev/null
@@ -1 +0,0 @@
-*@*
diff --git a/modelchecker/tests/1.az b/modelchecker/tests/1.az
deleted file mode 100644
index 950af9e..0000000
--- a/modelchecker/tests/1.az
+++ /dev/null
@@ -1 +0,0 @@
-*+*
diff --git a/modelchecker/tests/1.b b/modelchecker/tests/1.b
deleted file mode 100644
index fd38861..0000000
--- a/modelchecker/tests/1.b
+++ /dev/null
@@ -1 +0,0 @@
-+
diff --git a/modelchecker/tests/1.ba b/modelchecker/tests/1.ba
index e2f2a3d..f4014e8 100644
--- a/modelchecker/tests/1.ba
+++ b/modelchecker/tests/1.ba
@@ -1 +1 @@
-**@
+\$@
diff --git a/modelchecker/tests/1.bb b/modelchecker/tests/1.bb
deleted file mode 100644
index b59d6de..0000000
--- a/modelchecker/tests/1.bb
+++ /dev/null
@@ -1 +0,0 @@
-**+
diff --git a/modelchecker/tests/1.dl b/modelchecker/tests/1.dl
deleted file mode 100644
index 7770a88..0000000
--- a/modelchecker/tests/1.dl
+++ /dev/null
@@ -1 +0,0 @@
-@*$
diff --git a/modelchecker/tests/1.dm b/modelchecker/tests/1.dm
deleted file mode 100644
index 59c227c..0000000
--- a/modelchecker/tests/1.dm
+++ /dev/null
@@ -1 +0,0 @@
-@
diff --git a/modelchecker/tests/1.dn b/modelchecker/tests/1.dn
deleted file mode 100644
index 07ff770..0000000
--- a/modelchecker/tests/1.dn
+++ /dev/null
@@ -1 +0,0 @@
-+*$
diff --git a/modelchecker/tests/1.do b/modelchecker/tests/1.do
deleted file mode 100644
index fd38861..0000000
--- a/modelchecker/tests/1.do
+++ /dev/null
@@ -1 +0,0 @@
-+
diff --git a/modelchecker/tests/1.dp b/modelchecker/tests/1.dp
deleted file mode 100644
index 1541089..0000000
--- a/modelchecker/tests/1.dp
+++ /dev/null
@@ -1 +0,0 @@
-*@$
diff --git a/modelchecker/tests/1.dq b/modelchecker/tests/1.dq
deleted file mode 100644
index 72e8ffc..0000000
--- a/modelchecker/tests/1.dq
+++ /dev/null
@@ -1 +0,0 @@
-*
diff --git a/modelchecker/tests/1.dr b/modelchecker/tests/1.dr
deleted file mode 100644
index 4e6bf62..0000000
--- a/modelchecker/tests/1.dr
+++ /dev/null
@@ -1 +0,0 @@
-*+$
diff --git a/modelchecker/tests/1.ds b/modelchecker/tests/1.ds
deleted file mode 100644
index 565135c..0000000
--- a/modelchecker/tests/1.ds
+++ /dev/null
@@ -1 +0,0 @@
-$+*
diff --git a/modelchecker/tests/1.dt b/modelchecker/tests/1.dt
deleted file mode 100644
index 72e8ffc..0000000
--- a/modelchecker/tests/1.dt
+++ /dev/null
@@ -1 +0,0 @@
-*
diff --git a/modelchecker/tests/1.du b/modelchecker/tests/1.du
deleted file mode 100644
index 59c227c..0000000
--- a/modelchecker/tests/1.du
+++ /dev/null
@@ -1 +0,0 @@
-@
diff --git a/modelchecker/tests/1.dv b/modelchecker/tests/1.dv
deleted file mode 100644
index 0e9172d..0000000
--- a/modelchecker/tests/1.dv
+++ /dev/null
@@ -1 +0,0 @@
-*$+
diff --git a/modelchecker/tests/1.dw b/modelchecker/tests/1.dw
deleted file mode 100644
index fd38861..0000000
--- a/modelchecker/tests/1.dw
+++ /dev/null
@@ -1 +0,0 @@
-+
diff --git a/modelchecker/tests/1.g b/modelchecker/tests/1.g
deleted file mode 100644
index 17f5205..0000000
--- a/modelchecker/tests/1.g
+++ /dev/null
@@ -1 +0,0 @@
-@$
diff --git a/modelchecker/tests/1.h b/modelchecker/tests/1.h
deleted file mode 100644
index 0f36bec..0000000
--- a/modelchecker/tests/1.h
+++ /dev/null
@@ -1 +0,0 @@
-+$
diff --git a/modelchecker/tests/1.i b/modelchecker/tests/1.i
deleted file mode 100644
index 90c254d..0000000
--- a/modelchecker/tests/1.i
+++ /dev/null
@@ -1 +0,0 @@
-@*
diff --git a/modelchecker/tests/1.j b/modelchecker/tests/1.j
deleted file mode 100644
index 1b4d99a..0000000
--- a/modelchecker/tests/1.j
+++ /dev/null
@@ -1 +0,0 @@
-+*
diff --git a/modelchecker/tests/1.p b/modelchecker/tests/1.p
deleted file mode 100644
index 0616932..0000000
--- a/modelchecker/tests/1.p
+++ /dev/null
@@ -1,2 +0,0 @@
-+
-$
diff --git a/modelchecker/tests/1.q b/modelchecker/tests/1.q
deleted file mode 100644
index aba1deb..0000000
--- a/modelchecker/tests/1.q
+++ /dev/null
@@ -1,2 +0,0 @@
-@
-*
diff --git a/modelchecker/tests/1.r b/modelchecker/tests/1.r
deleted file mode 100644
index efebaa7..0000000
--- a/modelchecker/tests/1.r
+++ /dev/null
@@ -1,2 +0,0 @@
-+
-*
diff --git a/modelchecker/tests/1.vaq b/modelchecker/tests/1.vaq
deleted file mode 100644
index 8120701..0000000
--- a/modelchecker/tests/1.vaq
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-$
-$
diff --git a/modelchecker/tests/1.var b/modelchecker/tests/1.var
deleted file mode 100644
index f8665a2..0000000
--- a/modelchecker/tests/1.var
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-$
-$
diff --git a/modelchecker/tests/1.vas b/modelchecker/tests/1.vas
deleted file mode 100644
index 7dc8c7c..0000000
--- a/modelchecker/tests/1.vas
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-@
-$
diff --git a/modelchecker/tests/1.vat b/modelchecker/tests/1.vat
deleted file mode 100644
index 4cb0559..0000000
--- a/modelchecker/tests/1.vat
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-+
-$
diff --git a/modelchecker/tests/1.vau b/modelchecker/tests/1.vau
deleted file mode 100644
index 86b0565..0000000
--- a/modelchecker/tests/1.vau
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-$
-@
diff --git a/modelchecker/tests/1.vav b/modelchecker/tests/1.vav
deleted file mode 100644
index b9262e3..0000000
--- a/modelchecker/tests/1.vav
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-$
-+
diff --git a/modelchecker/tests/1.vaw b/modelchecker/tests/1.vaw
deleted file mode 100644
index b17e295..0000000
--- a/modelchecker/tests/1.vaw
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-*
-*
diff --git a/modelchecker/tests/1.vax b/modelchecker/tests/1.vax
deleted file mode 100644
index baa8df6..0000000
--- a/modelchecker/tests/1.vax
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-*
-*
diff --git a/modelchecker/tests/1.vay b/modelchecker/tests/1.vay
deleted file mode 100644
index 898bc73..0000000
--- a/modelchecker/tests/1.vay
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-@
-*
diff --git a/modelchecker/tests/1.vaz b/modelchecker/tests/1.vaz
deleted file mode 100644
index c264087..0000000
--- a/modelchecker/tests/1.vaz
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-+
-*
diff --git a/modelchecker/tests/1.vba b/modelchecker/tests/1.vba
deleted file mode 100644
index 1bf033f..0000000
--- a/modelchecker/tests/1.vba
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-*
-@
diff --git a/modelchecker/tests/1.vbb b/modelchecker/tests/1.vbb
deleted file mode 100644
index 839d009..0000000
--- a/modelchecker/tests/1.vbb
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-*
-+
diff --git a/modelchecker/tests/1.vdl b/modelchecker/tests/1.vdl
deleted file mode 100644
index 478e2f6..0000000
--- a/modelchecker/tests/1.vdl
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-*
-$
diff --git a/modelchecker/tests/1.vdm b/modelchecker/tests/1.vdm
deleted file mode 100644
index 2021dcc..0000000
--- a/modelchecker/tests/1.vdm
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-$
-*
diff --git a/modelchecker/tests/1.vdn b/modelchecker/tests/1.vdn
deleted file mode 100644
index 89d0349..0000000
--- a/modelchecker/tests/1.vdn
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-*
-$
diff --git a/modelchecker/tests/1.vdo b/modelchecker/tests/1.vdo
deleted file mode 100644
index a2f0016..0000000
--- a/modelchecker/tests/1.vdo
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-$
-*
diff --git a/modelchecker/tests/1.vdp b/modelchecker/tests/1.vdp
deleted file mode 100644
index 16ba0a6..0000000
--- a/modelchecker/tests/1.vdp
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-@
-$
diff --git a/modelchecker/tests/1.vdq b/modelchecker/tests/1.vdq
deleted file mode 100644
index 8ee2519..0000000
--- a/modelchecker/tests/1.vdq
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-@
-*
diff --git a/modelchecker/tests/1.vdr b/modelchecker/tests/1.vdr
deleted file mode 100644
index fca059e..0000000
--- a/modelchecker/tests/1.vdr
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-+
-$
diff --git a/modelchecker/tests/1.vds b/modelchecker/tests/1.vds
deleted file mode 100644
index ecfe626..0000000
--- a/modelchecker/tests/1.vds
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-+
-*
diff --git a/modelchecker/tests/1.vdt b/modelchecker/tests/1.vdt
deleted file mode 100644
index c195531..0000000
--- a/modelchecker/tests/1.vdt
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-$
-@
diff --git a/modelchecker/tests/1.vdu b/modelchecker/tests/1.vdu
deleted file mode 100644
index efc1720..0000000
--- a/modelchecker/tests/1.vdu
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-*
-@
diff --git a/modelchecker/tests/1.vdv b/modelchecker/tests/1.vdv
deleted file mode 100644
index 67f3e03..0000000
--- a/modelchecker/tests/1.vdv
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-$
-+
diff --git a/modelchecker/tests/1.vdw b/modelchecker/tests/1.vdw
deleted file mode 100644
index f0ebc70..0000000
--- a/modelchecker/tests/1.vdw
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-*
-+
diff --git a/modelchecker/tests/1.w b/modelchecker/tests/1.w
deleted file mode 100644
index 8b13789..0000000
--- a/modelchecker/tests/1.w
+++ /dev/null
@@ -1 +0,0 @@
-
diff --git a/modelchecker/tests/1.x b/modelchecker/tests/1.x
deleted file mode 100644
index 0f36bec..0000000
--- a/modelchecker/tests/1.x
+++ /dev/null
@@ -1 +0,0 @@
-+$
diff --git a/modelchecker/tests/1.y b/modelchecker/tests/1.y
deleted file mode 100644
index 0798a46..0000000
--- a/modelchecker/tests/1.y
+++ /dev/null
@@ -1 +0,0 @@
-*@
diff --git a/modelchecker/tests/1.z b/modelchecker/tests/1.z
deleted file mode 100644
index 1b4d99a..0000000
--- a/modelchecker/tests/1.z
+++ /dev/null
@@ -1 +0,0 @@
-+*
diff --git a/modelchecker/tests/2.aa b/modelchecker/tests/2.aa
deleted file mode 100644
index 24ee4e8..0000000
--- a/modelchecker/tests/2.aa
+++ /dev/null
@@ -1,2 +0,0 @@
- 
-@
diff --git a/modelchecker/tests/2.ab b/modelchecker/tests/2.ab
deleted file mode 100644
index 594628b..0000000
--- a/modelchecker/tests/2.ab
+++ /dev/null
@@ -1,2 +0,0 @@
- 
-+
diff --git a/modelchecker/tests/2.ac b/modelchecker/tests/2.ac
deleted file mode 100644
index 6be3ae1..0000000
--- a/modelchecker/tests/2.ac
+++ /dev/null
@@ -1,2 +0,0 @@
-.
-@
diff --git a/modelchecker/tests/2.ad b/modelchecker/tests/2.ad
deleted file mode 100644
index 8668798..0000000
--- a/modelchecker/tests/2.ad
+++ /dev/null
@@ -1,2 +0,0 @@
-.
-+
diff --git a/modelchecker/tests/2.bo b/modelchecker/tests/2.bo
deleted file mode 100644
index 16389df..0000000
--- a/modelchecker/tests/2.bo
+++ /dev/null
@@ -1 +0,0 @@
-@$ 
diff --git a/modelchecker/tests/2.bp b/modelchecker/tests/2.bp
deleted file mode 100644
index 9d5d76b..0000000
--- a/modelchecker/tests/2.bp
+++ /dev/null
@@ -1 +0,0 @@
-@ $
diff --git a/modelchecker/tests/2.bq b/modelchecker/tests/2.bq
deleted file mode 100644
index 656cb7f..0000000
--- a/modelchecker/tests/2.bq
+++ /dev/null
@@ -1 +0,0 @@
-+$ 
diff --git a/modelchecker/tests/2.br b/modelchecker/tests/2.br
deleted file mode 100644
index 2d030da..0000000
--- a/modelchecker/tests/2.br
+++ /dev/null
@@ -1 +0,0 @@
-+ $
diff --git a/modelchecker/tests/2.bs b/modelchecker/tests/2.bs
deleted file mode 100644
index 8d1c8b6..0000000
--- a/modelchecker/tests/2.bs
+++ /dev/null
@@ -1 +0,0 @@
- 
diff --git a/modelchecker/tests/2.bt b/modelchecker/tests/2.bt
deleted file mode 100644
index 51df466..0000000
--- a/modelchecker/tests/2.bt
+++ /dev/null
@@ -1 +0,0 @@
- @$
diff --git a/modelchecker/tests/2.bu b/modelchecker/tests/2.bu
deleted file mode 100644
index 7865ef3..0000000
--- a/modelchecker/tests/2.bu
+++ /dev/null
@@ -1 +0,0 @@
-$+ 
diff --git a/modelchecker/tests/2.bv b/modelchecker/tests/2.bv
deleted file mode 100644
index 08eef60..0000000
--- a/modelchecker/tests/2.bv
+++ /dev/null
@@ -1 +0,0 @@
- +$
diff --git a/modelchecker/tests/2.bw b/modelchecker/tests/2.bw
deleted file mode 100644
index fc96b61..0000000
--- a/modelchecker/tests/2.bw
+++ /dev/null
@@ -1 +0,0 @@
-$ @
diff --git a/modelchecker/tests/2.bx b/modelchecker/tests/2.bx
deleted file mode 100644
index 8d1c8b6..0000000
--- a/modelchecker/tests/2.bx
+++ /dev/null
@@ -1 +0,0 @@
- 
diff --git a/modelchecker/tests/2.by b/modelchecker/tests/2.by
deleted file mode 100644
index 9775cb6..0000000
--- a/modelchecker/tests/2.by
+++ /dev/null
@@ -1 +0,0 @@
-$ +
diff --git a/modelchecker/tests/2.bz b/modelchecker/tests/2.bz
deleted file mode 100644
index 71cb1a0..0000000
--- a/modelchecker/tests/2.bz
+++ /dev/null
@@ -1 +0,0 @@
- $+
diff --git a/modelchecker/tests/2.c b/modelchecker/tests/2.c
deleted file mode 100644
index fe9a7f4..0000000
--- a/modelchecker/tests/2.c
+++ /dev/null
@@ -1 +0,0 @@
-@ 
diff --git a/modelchecker/tests/2.ca b/modelchecker/tests/2.ca
deleted file mode 100644
index 643a7f1..0000000
--- a/modelchecker/tests/2.ca
+++ /dev/null
@@ -1 +0,0 @@
-@* 
diff --git a/modelchecker/tests/2.cb b/modelchecker/tests/2.cb
deleted file mode 100644
index 5bddb2c..0000000
--- a/modelchecker/tests/2.cb
+++ /dev/null
@@ -1 +0,0 @@
-@ *
diff --git a/modelchecker/tests/2.cc b/modelchecker/tests/2.cc
deleted file mode 100644
index 7b80397..0000000
--- a/modelchecker/tests/2.cc
+++ /dev/null
@@ -1 +0,0 @@
-+* 
diff --git a/modelchecker/tests/2.cd b/modelchecker/tests/2.cd
deleted file mode 100644
index 6aa777e..0000000
--- a/modelchecker/tests/2.cd
+++ /dev/null
@@ -1 +0,0 @@
-+ *
diff --git a/modelchecker/tests/2.ce b/modelchecker/tests/2.ce
deleted file mode 100644
index c3a206b..0000000
--- a/modelchecker/tests/2.ce
+++ /dev/null
@@ -1 +0,0 @@
-*@ 
diff --git a/modelchecker/tests/2.cf b/modelchecker/tests/2.cf
deleted file mode 100644
index ab93399..0000000
--- a/modelchecker/tests/2.cf
+++ /dev/null
@@ -1 +0,0 @@
- @*
diff --git a/modelchecker/tests/2.cg b/modelchecker/tests/2.cg
deleted file mode 100644
index 63b96cf..0000000
--- a/modelchecker/tests/2.cg
+++ /dev/null
@@ -1 +0,0 @@
-*+ 
diff --git a/modelchecker/tests/2.ch b/modelchecker/tests/2.ch
deleted file mode 100644
index 5e4bef5..0000000
--- a/modelchecker/tests/2.ch
+++ /dev/null
@@ -1 +0,0 @@
- +*
diff --git a/modelchecker/tests/2.ci b/modelchecker/tests/2.ci
deleted file mode 100644
index 306363e..0000000
--- a/modelchecker/tests/2.ci
+++ /dev/null
@@ -1 +0,0 @@
-* @
diff --git a/modelchecker/tests/2.cj b/modelchecker/tests/2.cj
deleted file mode 100644
index f8614b0..0000000
--- a/modelchecker/tests/2.cj
+++ /dev/null
@@ -1 +0,0 @@
- *@
diff --git a/modelchecker/tests/2.ck b/modelchecker/tests/2.ck
deleted file mode 100644
index b6695e9..0000000
--- a/modelchecker/tests/2.ck
+++ /dev/null
@@ -1 +0,0 @@
-* +
diff --git a/modelchecker/tests/2.cl b/modelchecker/tests/2.cl
deleted file mode 100644
index ff505f8..0000000
--- a/modelchecker/tests/2.cl
+++ /dev/null
@@ -1 +0,0 @@
- *+
diff --git a/modelchecker/tests/2.cm b/modelchecker/tests/2.cm
deleted file mode 100644
index 8d4f16e..0000000
--- a/modelchecker/tests/2.cm
+++ /dev/null
@@ -1 +0,0 @@
-@$.
diff --git a/modelchecker/tests/2.cn b/modelchecker/tests/2.cn
deleted file mode 100644
index ee897ea..0000000
--- a/modelchecker/tests/2.cn
+++ /dev/null
@@ -1 +0,0 @@
-@.$
diff --git a/modelchecker/tests/2.co b/modelchecker/tests/2.co
deleted file mode 100644
index eea9930..0000000
--- a/modelchecker/tests/2.co
+++ /dev/null
@@ -1 +0,0 @@
-+$.
diff --git a/modelchecker/tests/2.cp b/modelchecker/tests/2.cp
deleted file mode 100644
index 95190a4..0000000
--- a/modelchecker/tests/2.cp
+++ /dev/null
@@ -1 +0,0 @@
-+.$
diff --git a/modelchecker/tests/2.cq b/modelchecker/tests/2.cq
deleted file mode 100644
index 9c558e3..0000000
--- a/modelchecker/tests/2.cq
+++ /dev/null
@@ -1 +0,0 @@
-.
diff --git a/modelchecker/tests/2.cr b/modelchecker/tests/2.cr
deleted file mode 100644
index 4fd2a6e..0000000
--- a/modelchecker/tests/2.cr
+++ /dev/null
@@ -1 +0,0 @@
-.@$
diff --git a/modelchecker/tests/2.cs b/modelchecker/tests/2.cs
deleted file mode 100644
index 905a558..0000000
--- a/modelchecker/tests/2.cs
+++ /dev/null
@@ -1 +0,0 @@
-$+.
diff --git a/modelchecker/tests/2.ct b/modelchecker/tests/2.ct
deleted file mode 100644
index 7c7130f..0000000
--- a/modelchecker/tests/2.ct
+++ /dev/null
@@ -1 +0,0 @@
-.+$
diff --git a/modelchecker/tests/2.cu b/modelchecker/tests/2.cu
deleted file mode 100644
index 4779a9f..0000000
--- a/modelchecker/tests/2.cu
+++ /dev/null
@@ -1 +0,0 @@
-$.@
diff --git a/modelchecker/tests/2.cv b/modelchecker/tests/2.cv
deleted file mode 100644
index 9c558e3..0000000
--- a/modelchecker/tests/2.cv
+++ /dev/null
@@ -1 +0,0 @@
-.
diff --git a/modelchecker/tests/2.cw b/modelchecker/tests/2.cw
deleted file mode 100644
index 9665c94..0000000
--- a/modelchecker/tests/2.cw
+++ /dev/null
@@ -1 +0,0 @@
-$.+
diff --git a/modelchecker/tests/2.cx b/modelchecker/tests/2.cx
deleted file mode 100644
index d68dc04..0000000
--- a/modelchecker/tests/2.cx
+++ /dev/null
@@ -1 +0,0 @@
-.$+
diff --git a/modelchecker/tests/2.cz b/modelchecker/tests/2.cz
deleted file mode 100644
index 974d5e3..0000000
--- a/modelchecker/tests/2.cz
+++ /dev/null
@@ -1 +0,0 @@
-@*.
diff --git a/modelchecker/tests/2.d b/modelchecker/tests/2.d
deleted file mode 100644
index 79f9ef5..0000000
--- a/modelchecker/tests/2.d
+++ /dev/null
@@ -1 +0,0 @@
-+ 
diff --git a/modelchecker/tests/2.da b/modelchecker/tests/2.da
deleted file mode 100644
index 5802d41..0000000
--- a/modelchecker/tests/2.da
+++ /dev/null
@@ -1 +0,0 @@
-@.*
diff --git a/modelchecker/tests/2.db b/modelchecker/tests/2.db
deleted file mode 100644
index 91459b8..0000000
--- a/modelchecker/tests/2.db
+++ /dev/null
@@ -1 +0,0 @@
-+*.
diff --git a/modelchecker/tests/2.dc b/modelchecker/tests/2.dc
deleted file mode 100644
index 07ad1a7..0000000
--- a/modelchecker/tests/2.dc
+++ /dev/null
@@ -1 +0,0 @@
-+.*
diff --git a/modelchecker/tests/2.dd b/modelchecker/tests/2.dd
deleted file mode 100644
index e8f78e6..0000000
--- a/modelchecker/tests/2.dd
+++ /dev/null
@@ -1 +0,0 @@
-*@.
diff --git a/modelchecker/tests/2.de b/modelchecker/tests/2.de
deleted file mode 100644
index 8cbe2d6..0000000
--- a/modelchecker/tests/2.de
+++ /dev/null
@@ -1 +0,0 @@
-.@*
diff --git a/modelchecker/tests/2.df b/modelchecker/tests/2.df
deleted file mode 100644
index 5915301..0000000
--- a/modelchecker/tests/2.df
+++ /dev/null
@@ -1 +0,0 @@
-*+.
diff --git a/modelchecker/tests/2.dg b/modelchecker/tests/2.dg
deleted file mode 100644
index 46a34b1..0000000
--- a/modelchecker/tests/2.dg
+++ /dev/null
@@ -1 +0,0 @@
-.+*
diff --git a/modelchecker/tests/2.dh b/modelchecker/tests/2.dh
deleted file mode 100644
index 1baf176..0000000
--- a/modelchecker/tests/2.dh
+++ /dev/null
@@ -1 +0,0 @@
-*.@
diff --git a/modelchecker/tests/2.di b/modelchecker/tests/2.di
deleted file mode 100644
index c14534f..0000000
--- a/modelchecker/tests/2.di
+++ /dev/null
@@ -1 +0,0 @@
-.*@
diff --git a/modelchecker/tests/2.dj b/modelchecker/tests/2.dj
deleted file mode 100644
index 3164958..0000000
--- a/modelchecker/tests/2.dj
+++ /dev/null
@@ -1 +0,0 @@
-*.+
diff --git a/modelchecker/tests/2.dk b/modelchecker/tests/2.dk
deleted file mode 100644
index 7684803..0000000
--- a/modelchecker/tests/2.dk
+++ /dev/null
@@ -1 +0,0 @@
-.*+
diff --git a/modelchecker/tests/2.e b/modelchecker/tests/2.e
deleted file mode 100644
index af5c276..0000000
--- a/modelchecker/tests/2.e
+++ /dev/null
@@ -1 +0,0 @@
-@.
diff --git a/modelchecker/tests/2.f b/modelchecker/tests/2.f
deleted file mode 100644
index e5ef257..0000000
--- a/modelchecker/tests/2.f
+++ /dev/null
@@ -1 +0,0 @@
-+.
diff --git a/modelchecker/tests/2.k b/modelchecker/tests/2.k
deleted file mode 100644
index f42801b..0000000
--- a/modelchecker/tests/2.k
+++ /dev/null
@@ -1,2 +0,0 @@
-@
- 
diff --git a/modelchecker/tests/2.l b/modelchecker/tests/2.l
deleted file mode 100644
index 0debfd0..0000000
--- a/modelchecker/tests/2.l
+++ /dev/null
@@ -1,2 +0,0 @@
-+
- 
diff --git a/modelchecker/tests/2.m b/modelchecker/tests/2.m
deleted file mode 100644
index a381e1a..0000000
--- a/modelchecker/tests/2.m
+++ /dev/null
@@ -1,2 +0,0 @@
-@
-.
diff --git a/modelchecker/tests/2.n b/modelchecker/tests/2.n
deleted file mode 100644
index f3e10c1..0000000
--- a/modelchecker/tests/2.n
+++ /dev/null
@@ -1,2 +0,0 @@
-+
-.
diff --git a/modelchecker/tests/2.s b/modelchecker/tests/2.s
deleted file mode 100644
index d575886..0000000
--- a/modelchecker/tests/2.s
+++ /dev/null
@@ -1 +0,0 @@
- @
diff --git a/modelchecker/tests/2.t b/modelchecker/tests/2.t
deleted file mode 100644
index 8f4b4db..0000000
--- a/modelchecker/tests/2.t
+++ /dev/null
@@ -1 +0,0 @@
- +
diff --git a/modelchecker/tests/2.u b/modelchecker/tests/2.u
deleted file mode 100644
index 694e87c..0000000
--- a/modelchecker/tests/2.u
+++ /dev/null
@@ -1 +0,0 @@
-.@
diff --git a/modelchecker/tests/2.v b/modelchecker/tests/2.v
deleted file mode 100644
index b18168c..0000000
--- a/modelchecker/tests/2.v
+++ /dev/null
@@ -1 +0,0 @@
-.+
diff --git a/modelchecker/tests/2.vbo b/modelchecker/tests/2.vbo
deleted file mode 100644
index 05d627a..0000000
--- a/modelchecker/tests/2.vbo
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-$
- 
diff --git a/modelchecker/tests/2.vbp b/modelchecker/tests/2.vbp
deleted file mode 100644
index 1e6bb13..0000000
--- a/modelchecker/tests/2.vbp
+++ /dev/null
@@ -1,3 +0,0 @@
-@
- 
-$
diff --git a/modelchecker/tests/2.vbq b/modelchecker/tests/2.vbq
deleted file mode 100644
index 6cb4e01..0000000
--- a/modelchecker/tests/2.vbq
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-$
- 
diff --git a/modelchecker/tests/2.vbr b/modelchecker/tests/2.vbr
deleted file mode 100644
index 3d9780c..0000000
--- a/modelchecker/tests/2.vbr
+++ /dev/null
@@ -1,3 +0,0 @@
-+
- 
-$
diff --git a/modelchecker/tests/2.vbs b/modelchecker/tests/2.vbs
deleted file mode 100644
index 4bd9331..0000000
--- a/modelchecker/tests/2.vbs
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-@
- 
diff --git a/modelchecker/tests/2.vbt b/modelchecker/tests/2.vbt
deleted file mode 100644
index 1d4abd6..0000000
--- a/modelchecker/tests/2.vbt
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-@
-$
diff --git a/modelchecker/tests/2.vbu b/modelchecker/tests/2.vbu
deleted file mode 100644
index 5e32b07..0000000
--- a/modelchecker/tests/2.vbu
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-+
- 
diff --git a/modelchecker/tests/2.vbv b/modelchecker/tests/2.vbv
deleted file mode 100644
index dd4eefc..0000000
--- a/modelchecker/tests/2.vbv
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-+
-$
diff --git a/modelchecker/tests/2.vbw b/modelchecker/tests/2.vbw
deleted file mode 100644
index dc2824b..0000000
--- a/modelchecker/tests/2.vbw
+++ /dev/null
@@ -1,3 +0,0 @@
-$
- 
-@
diff --git a/modelchecker/tests/2.vbx b/modelchecker/tests/2.vbx
deleted file mode 100644
index 956d71a..0000000
--- a/modelchecker/tests/2.vbx
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-$
-@
diff --git a/modelchecker/tests/2.vby b/modelchecker/tests/2.vby
deleted file mode 100644
index ef7177f..0000000
--- a/modelchecker/tests/2.vby
+++ /dev/null
@@ -1,3 +0,0 @@
-$
- 
-+
diff --git a/modelchecker/tests/2.vbz b/modelchecker/tests/2.vbz
deleted file mode 100644
index 49be683..0000000
--- a/modelchecker/tests/2.vbz
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-$
-+
diff --git a/modelchecker/tests/2.vca b/modelchecker/tests/2.vca
deleted file mode 100644
index c4b1236..0000000
--- a/modelchecker/tests/2.vca
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-*
- 
diff --git a/modelchecker/tests/2.vcb b/modelchecker/tests/2.vcb
deleted file mode 100644
index 722af13..0000000
--- a/modelchecker/tests/2.vcb
+++ /dev/null
@@ -1,3 +0,0 @@
-@
- 
-*
diff --git a/modelchecker/tests/2.vcc b/modelchecker/tests/2.vcc
deleted file mode 100644
index a15c6ce..0000000
--- a/modelchecker/tests/2.vcc
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-*
- 
diff --git a/modelchecker/tests/2.vcd b/modelchecker/tests/2.vcd
deleted file mode 100644
index 4ed347b..0000000
--- a/modelchecker/tests/2.vcd
+++ /dev/null
@@ -1,3 +0,0 @@
-+
- 
-*
diff --git a/modelchecker/tests/2.vce b/modelchecker/tests/2.vce
deleted file mode 100644
index aefa84d..0000000
--- a/modelchecker/tests/2.vce
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-@
- 
diff --git a/modelchecker/tests/2.vcf b/modelchecker/tests/2.vcf
deleted file mode 100644
index 6552726..0000000
--- a/modelchecker/tests/2.vcf
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-@
-*
diff --git a/modelchecker/tests/2.vcg b/modelchecker/tests/2.vcg
deleted file mode 100644
index e9e7105..0000000
--- a/modelchecker/tests/2.vcg
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-+
- 
diff --git a/modelchecker/tests/2.vch b/modelchecker/tests/2.vch
deleted file mode 100644
index e5dc986..0000000
--- a/modelchecker/tests/2.vch
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-+
-*
diff --git a/modelchecker/tests/2.vci b/modelchecker/tests/2.vci
deleted file mode 100644
index 4f9c009..0000000
--- a/modelchecker/tests/2.vci
+++ /dev/null
@@ -1,3 +0,0 @@
-*
- 
-@
diff --git a/modelchecker/tests/2.vcj b/modelchecker/tests/2.vcj
deleted file mode 100644
index 623036e..0000000
--- a/modelchecker/tests/2.vcj
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-*
-@
diff --git a/modelchecker/tests/2.vck b/modelchecker/tests/2.vck
deleted file mode 100644
index 86134a8..0000000
--- a/modelchecker/tests/2.vck
+++ /dev/null
@@ -1,3 +0,0 @@
-*
- 
-+
diff --git a/modelchecker/tests/2.vcl b/modelchecker/tests/2.vcl
deleted file mode 100644
index 270cf5f..0000000
--- a/modelchecker/tests/2.vcl
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-*
-+
diff --git a/modelchecker/tests/2.vcm b/modelchecker/tests/2.vcm
deleted file mode 100644
index 4941282..0000000
--- a/modelchecker/tests/2.vcm
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-$
-.
diff --git a/modelchecker/tests/2.vcn b/modelchecker/tests/2.vcn
deleted file mode 100644
index 5675a65..0000000
--- a/modelchecker/tests/2.vcn
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-.
-$
diff --git a/modelchecker/tests/2.vco b/modelchecker/tests/2.vco
deleted file mode 100644
index b7438d7..0000000
--- a/modelchecker/tests/2.vco
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-$
-.
diff --git a/modelchecker/tests/2.vcp b/modelchecker/tests/2.vcp
deleted file mode 100644
index ee03d64..0000000
--- a/modelchecker/tests/2.vcp
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-.
-$
diff --git a/modelchecker/tests/2.vcq b/modelchecker/tests/2.vcq
deleted file mode 100644
index 47b9d2b..0000000
--- a/modelchecker/tests/2.vcq
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-@
-.
diff --git a/modelchecker/tests/2.vcr b/modelchecker/tests/2.vcr
deleted file mode 100644
index 4709abd..0000000
--- a/modelchecker/tests/2.vcr
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-@
-$
diff --git a/modelchecker/tests/2.vcs b/modelchecker/tests/2.vcs
deleted file mode 100644
index c26e5ba..0000000
--- a/modelchecker/tests/2.vcs
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-+
-.
diff --git a/modelchecker/tests/2.vct b/modelchecker/tests/2.vct
deleted file mode 100644
index 9d6bd49..0000000
--- a/modelchecker/tests/2.vct
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-+
-$
diff --git a/modelchecker/tests/2.vcu b/modelchecker/tests/2.vcu
deleted file mode 100644
index ece8904..0000000
--- a/modelchecker/tests/2.vcu
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-.
-@
diff --git a/modelchecker/tests/2.vcv b/modelchecker/tests/2.vcv
deleted file mode 100644
index e262fd1..0000000
--- a/modelchecker/tests/2.vcv
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-$
-@
diff --git a/modelchecker/tests/2.vcw b/modelchecker/tests/2.vcw
deleted file mode 100644
index eebd4eb..0000000
--- a/modelchecker/tests/2.vcw
+++ /dev/null
@@ -1,3 +0,0 @@
-$
-.
-+
diff --git a/modelchecker/tests/2.vcx b/modelchecker/tests/2.vcx
deleted file mode 100644
index f8c3ad9..0000000
--- a/modelchecker/tests/2.vcx
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-$
-+
diff --git a/modelchecker/tests/2.vcz b/modelchecker/tests/2.vcz
deleted file mode 100644
index 7ffddba..0000000
--- a/modelchecker/tests/2.vcz
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-*
-.
diff --git a/modelchecker/tests/2.vda b/modelchecker/tests/2.vda
deleted file mode 100644
index ae86e52..0000000
--- a/modelchecker/tests/2.vda
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-.
-*
diff --git a/modelchecker/tests/2.vdb b/modelchecker/tests/2.vdb
deleted file mode 100644
index 1e2122a..0000000
--- a/modelchecker/tests/2.vdb
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-*
-.
diff --git a/modelchecker/tests/2.vdc b/modelchecker/tests/2.vdc
deleted file mode 100644
index c2fa9a0..0000000
--- a/modelchecker/tests/2.vdc
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-.
-*
diff --git a/modelchecker/tests/2.vdd b/modelchecker/tests/2.vdd
deleted file mode 100644
index 17e6de9..0000000
--- a/modelchecker/tests/2.vdd
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-@
-.
diff --git a/modelchecker/tests/2.vde b/modelchecker/tests/2.vde
deleted file mode 100644
index d51a4e6..0000000
--- a/modelchecker/tests/2.vde
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-@
-*
diff --git a/modelchecker/tests/2.vdf b/modelchecker/tests/2.vdf
deleted file mode 100644
index 672e1a8..0000000
--- a/modelchecker/tests/2.vdf
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-+
-.
diff --git a/modelchecker/tests/2.vdg b/modelchecker/tests/2.vdg
deleted file mode 100644
index 6fb623b..0000000
--- a/modelchecker/tests/2.vdg
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-+
-*
diff --git a/modelchecker/tests/2.vdh b/modelchecker/tests/2.vdh
deleted file mode 100644
index 34882ee..0000000
--- a/modelchecker/tests/2.vdh
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-.
-@
diff --git a/modelchecker/tests/2.vdi b/modelchecker/tests/2.vdi
deleted file mode 100644
index f8b21c3..0000000
--- a/modelchecker/tests/2.vdi
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-*
-@
diff --git a/modelchecker/tests/2.vdj b/modelchecker/tests/2.vdj
deleted file mode 100644
index 2b3a673..0000000
--- a/modelchecker/tests/2.vdj
+++ /dev/null
@@ -1,3 +0,0 @@
-*
-.
-+
diff --git a/modelchecker/tests/2.vdk b/modelchecker/tests/2.vdk
deleted file mode 100644
index f461dc2..0000000
--- a/modelchecker/tests/2.vdk
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-*
-+
diff --git a/modelchecker/tests/3.ae b/modelchecker/tests/3.ae
deleted file mode 100644
index 5644553..0000000
--- a/modelchecker/tests/3.ae
+++ /dev/null
@@ -1 +0,0 @@
-@  
diff --git a/modelchecker/tests/3.af b/modelchecker/tests/3.af
deleted file mode 100644
index ee5f1c3..0000000
--- a/modelchecker/tests/3.af
+++ /dev/null
@@ -1 +0,0 @@
-+  
diff --git a/modelchecker/tests/3.ag b/modelchecker/tests/3.ag
deleted file mode 100644
index 6400bed..0000000
--- a/modelchecker/tests/3.ag
+++ /dev/null
@@ -1 +0,0 @@
- @ 
diff --git a/modelchecker/tests/3.ah b/modelchecker/tests/3.ah
deleted file mode 100644
index 8d570bc..0000000
--- a/modelchecker/tests/3.ah
+++ /dev/null
@@ -1 +0,0 @@
- + 
diff --git a/modelchecker/tests/3.ai b/modelchecker/tests/3.ai
deleted file mode 100644
index 5bd7b57..0000000
--- a/modelchecker/tests/3.ai
+++ /dev/null
@@ -1 +0,0 @@
-  @
diff --git a/modelchecker/tests/3.aj b/modelchecker/tests/3.aj
deleted file mode 100644
index 0c1c7ad..0000000
--- a/modelchecker/tests/3.aj
+++ /dev/null
@@ -1 +0,0 @@
-  +
diff --git a/modelchecker/tests/3.ak b/modelchecker/tests/3.ak
deleted file mode 100644
index 1c559b3..0000000
--- a/modelchecker/tests/3.ak
+++ /dev/null
@@ -1 +0,0 @@
-@..
diff --git a/modelchecker/tests/3.al b/modelchecker/tests/3.al
deleted file mode 100644
index 552ccae..0000000
--- a/modelchecker/tests/3.al
+++ /dev/null
@@ -1 +0,0 @@
-+..
diff --git a/modelchecker/tests/3.am b/modelchecker/tests/3.am
deleted file mode 100644
index 2a7f3cd..0000000
--- a/modelchecker/tests/3.am
+++ /dev/null
@@ -1 +0,0 @@
-.@.
diff --git a/modelchecker/tests/3.an b/modelchecker/tests/3.an
deleted file mode 100644
index 1ebfeac..0000000
--- a/modelchecker/tests/3.an
+++ /dev/null
@@ -1 +0,0 @@
-.+.
diff --git a/modelchecker/tests/3.ao b/modelchecker/tests/3.ao
deleted file mode 100644
index 51a2953..0000000
--- a/modelchecker/tests/3.ao
+++ /dev/null
@@ -1 +0,0 @@
-..@
diff --git a/modelchecker/tests/3.ap b/modelchecker/tests/3.ap
deleted file mode 100644
index 2b39a1b..0000000
--- a/modelchecker/tests/3.ap
+++ /dev/null
@@ -1 +0,0 @@
-..+
diff --git a/modelchecker/tests/3.bc b/modelchecker/tests/3.bc
deleted file mode 100644
index eef7761..0000000
--- a/modelchecker/tests/3.bc
+++ /dev/null
@@ -1 +0,0 @@
-@. 
diff --git a/modelchecker/tests/3.bd b/modelchecker/tests/3.bd
deleted file mode 100644
index 1d89be2..0000000
--- a/modelchecker/tests/3.bd
+++ /dev/null
@@ -1 +0,0 @@
-@ .
diff --git a/modelchecker/tests/3.be b/modelchecker/tests/3.be
deleted file mode 100644
index 67d4a5d..0000000
--- a/modelchecker/tests/3.be
+++ /dev/null
@@ -1 +0,0 @@
-+. 
diff --git a/modelchecker/tests/3.bf b/modelchecker/tests/3.bf
deleted file mode 100644
index dc2b92b..0000000
--- a/modelchecker/tests/3.bf
+++ /dev/null
@@ -1 +0,0 @@
-+ .
diff --git a/modelchecker/tests/3.bg b/modelchecker/tests/3.bg
deleted file mode 100644
index c7c0090..0000000
--- a/modelchecker/tests/3.bg
+++ /dev/null
@@ -1 +0,0 @@
-.@ 
diff --git a/modelchecker/tests/3.bh b/modelchecker/tests/3.bh
deleted file mode 100644
index 4f3e30b..0000000
--- a/modelchecker/tests/3.bh
+++ /dev/null
@@ -1 +0,0 @@
- @.
diff --git a/modelchecker/tests/3.bi b/modelchecker/tests/3.bi
deleted file mode 100644
index dc9b5cf..0000000
--- a/modelchecker/tests/3.bi
+++ /dev/null
@@ -1 +0,0 @@
-.+ 
diff --git a/modelchecker/tests/3.bj b/modelchecker/tests/3.bj
deleted file mode 100644
index 815c378..0000000
--- a/modelchecker/tests/3.bj
+++ /dev/null
@@ -1 +0,0 @@
- +.
diff --git a/modelchecker/tests/3.bk b/modelchecker/tests/3.bk
deleted file mode 100644
index ccb58de..0000000
--- a/modelchecker/tests/3.bk
+++ /dev/null
@@ -1 +0,0 @@
-. @
diff --git a/modelchecker/tests/3.bl b/modelchecker/tests/3.bl
deleted file mode 100644
index fdfbe90..0000000
--- a/modelchecker/tests/3.bl
+++ /dev/null
@@ -1 +0,0 @@
- .@
diff --git a/modelchecker/tests/3.bm b/modelchecker/tests/3.bm
deleted file mode 100644
index d8cd4de..0000000
--- a/modelchecker/tests/3.bm
+++ /dev/null
@@ -1 +0,0 @@
-. +
diff --git a/modelchecker/tests/3.bn b/modelchecker/tests/3.bn
deleted file mode 100644
index 353d1f3..0000000
--- a/modelchecker/tests/3.bn
+++ /dev/null
@@ -1 +0,0 @@
- .+
diff --git a/modelchecker/tests/3.vae b/modelchecker/tests/3.vae
deleted file mode 100644
index 7610065..0000000
--- a/modelchecker/tests/3.vae
+++ /dev/null
@@ -1,3 +0,0 @@
-@
- 
- 
diff --git a/modelchecker/tests/3.vaf b/modelchecker/tests/3.vaf
deleted file mode 100644
index aab35a7..0000000
--- a/modelchecker/tests/3.vaf
+++ /dev/null
@@ -1,3 +0,0 @@
-+
- 
- 
diff --git a/modelchecker/tests/3.vag b/modelchecker/tests/3.vag
deleted file mode 100644
index 07e0526..0000000
--- a/modelchecker/tests/3.vag
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-@
- 
diff --git a/modelchecker/tests/3.vah b/modelchecker/tests/3.vah
deleted file mode 100644
index 80f110d..0000000
--- a/modelchecker/tests/3.vah
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-+
- 
diff --git a/modelchecker/tests/3.vai b/modelchecker/tests/3.vai
deleted file mode 100644
index 010abc8..0000000
--- a/modelchecker/tests/3.vai
+++ /dev/null
@@ -1,3 +0,0 @@
- 
- 
-@
diff --git a/modelchecker/tests/3.vaj b/modelchecker/tests/3.vaj
deleted file mode 100644
index ec3062a..0000000
--- a/modelchecker/tests/3.vaj
+++ /dev/null
@@ -1,3 +0,0 @@
- 
- 
-+
diff --git a/modelchecker/tests/3.vak b/modelchecker/tests/3.vak
deleted file mode 100644
index 66b2e99..0000000
--- a/modelchecker/tests/3.vak
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-.
-.
diff --git a/modelchecker/tests/3.val b/modelchecker/tests/3.val
deleted file mode 100644
index fa2c27f..0000000
--- a/modelchecker/tests/3.val
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-.
-.
diff --git a/modelchecker/tests/3.vam b/modelchecker/tests/3.vam
deleted file mode 100644
index 766be26..0000000
--- a/modelchecker/tests/3.vam
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-@
-.
diff --git a/modelchecker/tests/3.van b/modelchecker/tests/3.van
deleted file mode 100644
index 04ba1a2..0000000
--- a/modelchecker/tests/3.van
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-+
-.
diff --git a/modelchecker/tests/3.vao b/modelchecker/tests/3.vao
deleted file mode 100644
index 1481406..0000000
--- a/modelchecker/tests/3.vao
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-.
-@
diff --git a/modelchecker/tests/3.vap b/modelchecker/tests/3.vap
deleted file mode 100644
index f14edae..0000000
--- a/modelchecker/tests/3.vap
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-.
-+
diff --git a/modelchecker/tests/3.vbc b/modelchecker/tests/3.vbc
deleted file mode 100644
index dd7d12a..0000000
--- a/modelchecker/tests/3.vbc
+++ /dev/null
@@ -1,3 +0,0 @@
-@
-.
- 
diff --git a/modelchecker/tests/3.vbd b/modelchecker/tests/3.vbd
deleted file mode 100644
index 4b8dcb5..0000000
--- a/modelchecker/tests/3.vbd
+++ /dev/null
@@ -1,3 +0,0 @@
-@
- 
-.
diff --git a/modelchecker/tests/3.vbe b/modelchecker/tests/3.vbe
deleted file mode 100644
index 91d31a6..0000000
--- a/modelchecker/tests/3.vbe
+++ /dev/null
@@ -1,3 +0,0 @@
-+
-.
- 
diff --git a/modelchecker/tests/3.vbf b/modelchecker/tests/3.vbf
deleted file mode 100644
index e3a76ef..0000000
--- a/modelchecker/tests/3.vbf
+++ /dev/null
@@ -1,3 +0,0 @@
-+
- 
-.
diff --git a/modelchecker/tests/3.vbg b/modelchecker/tests/3.vbg
deleted file mode 100644
index f846f67..0000000
--- a/modelchecker/tests/3.vbg
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-@
- 
diff --git a/modelchecker/tests/3.vbh b/modelchecker/tests/3.vbh
deleted file mode 100644
index 354871d..0000000
--- a/modelchecker/tests/3.vbh
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-@
-.
diff --git a/modelchecker/tests/3.vbi b/modelchecker/tests/3.vbi
deleted file mode 100644
index 382853e..0000000
--- a/modelchecker/tests/3.vbi
+++ /dev/null
@@ -1,3 +0,0 @@
-.
-+
- 
diff --git a/modelchecker/tests/3.vbj b/modelchecker/tests/3.vbj
deleted file mode 100644
index 0742f8f..0000000
--- a/modelchecker/tests/3.vbj
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-+
-.
diff --git a/modelchecker/tests/3.vbk b/modelchecker/tests/3.vbk
deleted file mode 100644
index 65ae184..0000000
--- a/modelchecker/tests/3.vbk
+++ /dev/null
@@ -1,3 +0,0 @@
-.
- 
-@
diff --git a/modelchecker/tests/3.vbl b/modelchecker/tests/3.vbl
deleted file mode 100644
index aece55e..0000000
--- a/modelchecker/tests/3.vbl
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-.
-@
diff --git a/modelchecker/tests/3.vbm b/modelchecker/tests/3.vbm
deleted file mode 100644
index 074693e..0000000
--- a/modelchecker/tests/3.vbm
+++ /dev/null
@@ -1,3 +0,0 @@
-.
- 
-+
diff --git a/modelchecker/tests/3.vbn b/modelchecker/tests/3.vbn
deleted file mode 100644
index 3dbcf43..0000000
--- a/modelchecker/tests/3.vbn
+++ /dev/null
@@ -1,3 +0,0 @@
- 
-.
-+
diff --git a/modelchecker/tests/generate_tests.sh b/modelchecker/tests/generate_tests.sh
new file mode 100755
index 0000000..b63b183
--- /dev/null
+++ b/modelchecker/tests/generate_tests.sh
@@ -0,0 +1,181 @@
+#!/bin/bash
+set -e
+
+# HAIL COPY PASTE AND VIM MACROS!!!!!!!!!!11!11!one!1eleven
+find . -not -iname "*.sh" -not -iname "\." | xargs rm
+
+# a=agent
+# A=targetagent
+# B=targetbox
+# b=box
+# t=target
+
+## One block
+# Agent
+echo '@' > 1.a
+# Targetagent
+echo '*' > 1.A
+
+## Two blocks
+# Agent free
+echo '@ ' > 2.af
+echo ' @' > 2.fa
+# Agent target
+echo '@.' > 2.at
+echo '.@' > 2.ta
+# Agent box
+echo '@$' > 1.ab
+echo '\$@' > 1.ba
+# Agent boxtarget
+echo '@*' > 1.aB
+echo '*@' > 1.Ba
+
+# TargetAgent free
+echo '+ ' > 2.Af
+echo ' +' > 2.fA
+# TargetAgent target
+echo '+.' > 2.At
+echo '.+' > 2.tA
+# TargetAgent box
+echo '+$' > 1.Ab
+echo '$+' > 1.bA
+# TargetAgent boxtarget
+echo '+*' > 1.AB
+echo '*+' > 1.BA
+
+### Three blocks
+# Agent free free
+echo '@  ' > 3.aff
+echo ' @ ' > 3.faf
+echo '  @' > 3.ffa
+
+# Agent free target
+echo '@ .' > 3.aft
+echo '@. ' > 3.atf
+echo '.@ ' > 3.taf
+echo ' @.' > 3.fat
+echo '. @' > 3.tfa
+echo ' .@' > 3.fta
+
+# Agent free box
+echo '@ $' > 2.afb
+echo '@$ ' > 3.abf
+echo '$@ ' > 2.baf
+echo ' @$' > 2.fab
+echo '$ @' > 2.bfa
+echo ' $@' > 3.fba
+
+# Agent free boxtarget
+echo '@ *' > 2.afB
+echo '@* ' > 3.aBf
+echo '*@ ' > 2.Baf
+echo ' @*' > 2.faB
+echo '* @' > 2.Bfa
+echo ' *@' > 3.fBa
+
+# Agent target target
+echo '@..' > 3.att
+echo '.@.' > 3.tat
+echo '..@' > 3.tta
+
+# Agent target box
+echo '@$.' > 3.abt
+echo '@.$' > 2.atb
+echo '.@$' > 2.tab
+echo '$@.' > 2.bat
+echo '.$@' > 3.tba
+echo '$.@' > 2.bta
+
+# Agent target boxtarget
+echo '@*.' > 3.aBt
+echo '@.*' > 2.atB
+echo '.@*' > 2.taB
+echo '*@.' > 2.Bat
+echo '.*@' > 3.tBa
+echo '*.@' > 2.Bta
+
+# Agent box box
+echo '@$$' > 1.abb
+echo '$@$' > 1.bab
+echo '$$@' > 1.bba
+
+# Agent box boxtarget
+echo '@*$' > 1.aBb
+echo '@$*' > 1.abB
+echo '$@*' > 1.baB
+echo '*@$' > 1.Bab
+echo '$*@' > 1.bBa
+echo '*$@' > 1.Bba
+
+# Agent boxtarget boxtarget
+echo '@**' > 1.aBB
+echo '*@*' > 1.BaB
+echo '**@' > 1.BBa
+
+# TargetAgent free free
+echo '+  ' > 3.Aff
+echo ' + ' > 3.fAf
+echo '  +' > 3.ffA
+
+# TargetAgent free target
+echo '+ .' > 3.Aft
+echo '+. ' > 3.Atf
+echo '.+ ' > 3.tAf
+echo ' +.' > 3.fAt
+echo '. +' > 3.tfA
+echo ' .+' > 3.ftA
+
+# TargetAgent free box
+echo '+ $' > 2.Afb
+echo '+$ ' > 3.Abf
+echo '$+ ' > 2.bAf
+echo ' +$' > 2.fAb
+echo '$ +' > 2.bfA
+echo ' $+' > 3.fbA
+
+# TargetAgent free boxtarget
+echo '+ *' > 2.AfB
+echo '+* ' > 3.ABf
+echo '*+ ' > 2.BAf
+echo ' +*' > 2.fAB
+echo '* +' > 2.BfA
+echo ' *+' > 3.fBA
+
+# TargetAgent target target
+echo '+..' > 3.Att
+echo '.+.' > 3.tAt
+echo '..+' > 3.ttA
+
+# TargetAgent target box
+echo '+$.' > 3.Abt
+echo '+.$' > 2.Atb
+echo '.+$' > 2.tAb
+echo '$+.' > 2.bAt
+echo '.$+' > 3.tbA
+echo '$.+' > 2.btA
+
+# TargetAgent target boxtarget
+echo '+*.' > 3.ABt
+echo '+.*' > 2.AtB
+echo '.+*' > 2.tAB
+echo '*+.' > 2.BAt
+echo '.*+' > 3.tBA
+echo '*.+' > 2.BtA
+
+# TargetAgent box box
+echo '+$$' > 1.Abb
+echo '$+$' > 1.bAb
+echo '$$+' > 1.bbA
+
+# TargetAgent box boxtarget
+echo '+*$' > 1.ABb
+echo '+$*' > 1.AbB
+echo '$+*' > 1.bAB
+echo '*+$' > 1.BAb
+echo '$*+' > 1.bBA
+echo '*$+' > 1.BbA
+
+# TargetAgent boxtarget boxtarget
+echo '+**' > 1.ABB
+echo '*+*' > 1.BAB
+echo '**+' > 1.BBA