Add regression test that uses models-library

Author: yumibagge

jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation04-StringEqual/Main.class

@@ -0,0 +1,8 @@
+public class Main {
+  public void test() {
+    String s1 = "abc";
+    String s2 = "xyz";
+    String s3 = s1 + s2;
+    assert s3.equals("abcxyz");
+  }
+}

jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation04-StringEqual/Main.java

@@ -0,0 +1,9 @@
+CORE
+Main.class
+--function Main.test --property "java::Main.test:()V.assertion.1" --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+^Generated [0-9]+ VCC\(s\), 0 remaining after simplification$
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+--