Add test for anonymous local scoping

This creates three source-level variables that are
notionally live for the whole function, but then uses
the function's dominator tree information to show that
they actually have disjoint scopes. Similarly the
temporary used to hold a new instance between creation
and assignment to a local variable should be given
a bounded scope.

Author: smowton

regression/cbmc-java/LocalVarTable5/test.class

@@ -0,0 +1,10 @@
+CORE
+test.class
+--show-goto-functions
+dead anonlocal::1i
+dead anonlocal::2i
+dead anonlocal::3a
+dead new_tmp0
+^EXIT=0$
+^SIGNAL=0$
+--

regression/cbmc-java/LocalVarTable5/test.desc

@@ -0,0 +1,29 @@
+
+
+public class test
+{
+  public static void main(int unknown)
+  {
+    int i;
+    int j;
+    if(unknown==1)
+    {
+      // Check that anonymous locals
+      // get assigned scopes:
+      i = 0;
+      i++;
+    }
+    else if(unknown==2)
+    {
+      j = 0;
+      j++;
+    }
+    else
+    {
+      // Check that temporaries (here
+      // a new_tmp variable) are treated
+      // likewise
+      test t = new test();
+    }
+  }
+}