Add regression test for TG-2479

Author: yumibagge

jbmc/regression/jbmc/lambda4/LambdaBasic$If.class

@@ -0,0 +1,29 @@
+public class LambdaBasic {
+
+  private boolean endOnSuccess = true;
+
+  public void testThis() {
+    boolean endOnSuccess;
+    endOnSuccess = this.endOnSuccess;
+    If boo = () -> {
+      if (endOnSuccess) {
+        assert endOnSuccess; // verification success
+        return 1;
+      }
+      assert endOnSuccess; // verification failure
+      return 0;
+    };
+
+    int x0 = boo.xInt();
+    if (x0 == 1) {
+      assert x0 == 0; // verification failure
+    } else {
+      assert x0 >= -1 || x0 < -1; // verification success
+    }
+  }
+
+  interface If {
+
+    int xInt();
+  }
+}

jbmc/regression/jbmc/lambda4/LambdaBasic.class

@@ -0,0 +1,13 @@
+CORE
+LambdaBasic.class
+--function LambdaBasic.testThis --property 'java::LambdaBasic.lambda$testThis$0:(Z)I.assertion.1' --property 'java::LambdaBasic.lambda$testThis$0:(Z)I.assertion.2' --property 'java::LambdaBasic.testThis:()V.assertion.1' --property 'java::LambdaBasic.testThis:()V.assertion.2'
+line 10 assertion.*SUCCESS$
+line 13 assertion.*FAILURE$
+line 19 assertion.*FAILURE$
+line 21 assertion.*SUCCESS$
+^EXIT=10$
+^SIGNAL=0$
+--
+--
+This test is a minimised example reported in TG-2479 and fixed during lambda
+development.