diff --git a/tests/smt/test-007.smt2 b/tests/smt/test-007.smt2
new file mode 100644
index 00000000..62c9e167
--- /dev/null
+++ b/tests/smt/test-007.smt2
@@ -0,0 +1,2 @@
+(assert (and (= a b) (= b c)))
+(check-sat)
diff --git a/tests/smt/test-008.smt2 b/tests/smt/test-008.smt2
new file mode 100644
index 00000000..37195b5d
--- /dev/null
+++ b/tests/smt/test-008.smt2
@@ -0,0 +1,2 @@
+(assert (and (= a b) (= b c) (not (= a c))))
+(check-sat)