diff --git a/testdata/alias_01.accepts b/testdata/alias_01.accepts
new file mode 100644
index 0000000..5d2d6a2
--- /dev/null
+++ b/testdata/alias_01.accepts
@@ -0,0 +1,3 @@
+{"COUNTER": [0]}
+{"COUNTER": [0,0]}
+{"COUNTER": [0,0,0]}
diff --git a/testdata/alias_01.lisp b/testdata/alias_01.lisp
new file mode 100644
index 0000000..e4902da
--- /dev/null
+++ b/testdata/alias_01.lisp
@@ -0,0 +1,3 @@
+(defcolumns COUNTER)
+(defalias CT COUNTER)
+(defconstraint heartbeat () CT)
diff --git a/testdata/alias_01.rejects b/testdata/alias_01.rejects
new file mode 100644
index 0000000..7c6d010
--- /dev/null
+++ b/testdata/alias_01.rejects
@@ -0,0 +1,8 @@
+{"COUNTER": [1]}
+{"COUNTER": [1]}
+{"COUNTER": [0,1]}
+{"COUNTER": [1,0]}
+{"COUNTER": [1,1]}
+{"COUNTER": [0,0,1]}
+{"COUNTER": [0,1,0]}
+{"COUNTER": [1,0,0]}
diff --git a/testdata/constant_04.rejects b/testdata/constant_04.rejects
new file mode 100644
index 0000000..9a8adb0
--- /dev/null
+++ b/testdata/constant_04.rejects
@@ -0,0 +1,38 @@
+{"X": [-1], "Y": [0], "Z": [0]}
+{"X": [-1], "Y": [1], "Z": [1]}
+{"X": [-1], "Y": [2], "Z": [0]}
+{"X": [-1], "Y": [3], "Z": [1]}
+{"X":  [0], "Y": [1], "Z": [1]}
+{"X":  [0], "Y": [2], "Z": [0]}
+{"X":  [0], "Y": [3], "Z": [1]}
+{"X":  [1], "Y": [0], "Z": [0]}
+{"X":  [1], "Y": [2], "Z": [0]}
+{"X":  [1], "Y": [3], "Z": [1]}
+{"X":  [2], "Y": [0], "Z": [0]}
+{"X":  [2], "Y": [1], "Z": [1]}
+{"X":  [2], "Y": [3], "Z": [1]}
+{"X":  [3], "Y": [0], "Z": [0]}
+{"X":  [3], "Y": [1], "Z": [1]}
+{"X":  [3], "Y": [2], "Z": [0]}
+{"X":  [4], "Y": [1], "Z": [1]}
+{"X":  [4], "Y": [2], "Z": [0]}
+{"X":  [4], "Y": [3], "Z": [1]}
+{"X":  [5], "Y": [0], "Z": [0]}
+{"X":  [5], "Y": [2], "Z": [0]}
+{"X":  [5], "Y": [3], "Z": [1]}
+{"X":  [6], "Y": [0], "Z": [0]}
+{"X":  [6], "Y": [1], "Z": [1]}
+{"X":  [6], "Y": [3], "Z": [1]}
+{"X":  [7], "Y": [0], "Z": [0]}
+{"X":  [7], "Y": [1], "Z": [1]}
+{"X":  [7], "Y": [2], "Z": [0]}
+{"X":  [-1], "Y": [-1], "Z": [1]}
+{"X":  [0], "Y": [-1], "Z": [1]}
+{"X":  [1], "Y": [-1], "Z": [1]}
+{"X":  [2], "Y": [-1], "Z": [1]}
+{"X":  [3], "Y": [-1], "Z": [1]}
+{"X":  [-1], "Y": [5], "Z": [1]}
+{"X":  [0], "Y": [5], "Z": [1]}
+{"X":  [1], "Y": [5], "Z": [1]}
+{"X":  [2], "Y": [5], "Z": [1]}
+{"X":  [3], "Y": [5], "Z": [1]}
diff --git a/testdata/constant_05.rejects b/testdata/constant_05.rejects
new file mode 100644
index 0000000..fb5f562
--- /dev/null
+++ b/testdata/constant_05.rejects
@@ -0,0 +1,6 @@
+{"CT": [1,0]}
+{"CT": [2,0]}
+{"CT": [0,2]}
+{"CT": [0,3]}
+{"CT": [0,0,2]}
+{"CT": [0,1,3]}
diff --git a/testdata/constant_06.rejects b/testdata/constant_06.rejects
new file mode 100644
index 0000000..8115870
--- /dev/null
+++ b/testdata/constant_06.rejects
@@ -0,0 +1,12 @@
+{ "X": [0], "Y": [1] }
+{ "X": [0], "Y": [2] }
+{ "X": [1], "Y": [0] }
+{ "X": [1], "Y": [2] }
+{ "X": [2], "Y": [0] }
+{ "X": [2], "Y": [1] }
+{ "X": [2], "Y": [2] }
+{ "X": [2], "Y": [3] }
+{ "X": [1,1], "Y": [1,2] }
+{ "X": [1,1], "Y": [2,1] }
+{ "X": [2,2], "Y": [2,4] }
+{ "X": [2,2], "Y": [4,2] }