Add basic test for lexical scope inference

This simply checks that a scoped block got created at PC index 7
(which will enclose a variable scope, but this is harder to spot
with a regex) where previously the variable would have been global.

Author: smowton

regression/cbmc-java/inferlexicalscope1/test.class

@@ -0,0 +1,7 @@
+CORE
+test.class
+--show-symbol-table
+^EXIT=0$
+^SIGNAL=0$
+^pc7:
+--

regression/cbmc-java/inferlexicalscope1/test.desc

@@ -0,0 +1,17 @@
+public class test {
+
+  public static void main() {
+
+    int x = 5;
+    if(x == 4) {
+      int y = x + 1;
+      ++y;
+    }
+    else {
+      int z = x + 1;
+      ++z;
+    }
+
+  }
+
+}