diff --git a/regression/strings-smoke-tests/java_equal/test_2.desc b/regression/strings-smoke-tests/java_equal/test_2.desc
new file mode 100644
index 00000000000..bfa989a3695
--- /dev/null
+++ b/regression/strings-smoke-tests/java_equal/test_2.desc
@@ -0,0 +1,7 @@
+KNOWNBUG
+test_equal_2.class
+--refine-strings --string-max-length 100 --string-max-length 100
+^EXIT=0$
+^SIGNAL=0$
+--
+https://github.com/diffblue/test-gen/issues/856
diff --git a/regression/strings-smoke-tests/java_equal/test_equal_2.java b/regression/strings-smoke-tests/java_equal/test_equal_2.java
new file mode 100644
index 00000000000..931ed71471a
--- /dev/null
+++ b/regression/strings-smoke-tests/java_equal/test_equal_2.java
@@ -0,0 +1,7 @@
+public class test_equal_2
+{
+   public static void main(String s)
+   {
+       assert(!(s.equals("pi") && s.equals("po")));
+   }
+}