Add test for object trees coming from opaque methods.

Author: smowton

regression/test_gen/opaque_object_tree/TestGenTest.class

@@ -0,0 +1,15 @@
+public class TestGenTest {
+  public static void test() {
+    Opaque o = new Opaque();
+    assert(!(o != null && o.y != null && o.x == 1 && o.y.x == 2));
+  }
+}
+
+class Opaque {
+  public int x;
+  public Opaque2 y;
+}
+
+class Opaque2 {
+  public int x;
+}

regression/test_gen/opaque_object_tree/TestGenTest.java

@@ -0,0 +1,8 @@
+CORE
+TestGenTest.class
+--stop-on-fail --gen-java-test-case --function TestGenTest.test
+^EXIT=0$
+^SIGNAL=0$
+^.*Reflector.setInstanceField(dynamic_object2,"x",2).*$
+^.*Reflector.setInstanceField(to_construct$2,"y",dynamic_object2).*$
+^.*Reflector.setInstanceField(to_construct$2,"x",1).*$