add test cases

This adds two (failing) tests for this issue.

Author: DavePearce

pkg/test/corset_invalid_test.go

@@ -97,7 +97,9 @@ func Test_Invalid_Basic_18(t *testing.T) {
 func Test_Invalid_Basic_19(t *testing.T) {
 	checkCorsetInvalid(t, "corset/invalid/basic_invalid_19")
 }
-
+func Test_Invalid_Basic_20(t *testing.T) {
+	checkCorsetInvalid(t, "corset/invalid/basic_invalid_20")
+}
 func Test_Invalid_Logic_01(t *testing.T) {
 	checkCorsetInvalid(t, "corset/invalid/logic_invalid_01")
 }
@@ -515,6 +517,9 @@ func Test_Invalid_Lookup_17(t *testing.T) {
 func Test_Invalid_Lookup_18(t *testing.T) {
 	checkCorsetInvalid(t, "corset/invalid/lookup_invalid_18")
 }
+func Test_Invalid_Lookup_19(t *testing.T) {
+	checkCorsetInvalid(t, "corset/invalid/lookup_invalid_19")
+}
 
 // ===================================================================
 // Interleavings

testdata/corset/invalid/basic_invalid_20.lisp

@@ -0,0 +1,8 @@
+;;
+(module m1)
+
+(defcolumns (X :i16) (Y :i16))
+(defconstraint test () (== X Y))
+
+(module m1)
+(defconstraint test () (!= X Y))

testdata/corset/invalid/lookup_invalid_19.lisp

@@ -0,0 +1,6 @@
+(module m1)
+(defcolumns (X :i16) (Y :i16))
+(defclookup test (Y) 1 (X))
+
+(module m1)
+(defclookup test (X) 1 (Y))