Merge pull request #392 from smowton/local_variable_block_scoping_master

Java local variable block scoping

Author: Daniel Kroening

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;
+    }
+
+  }
+
+}