Lazy loading: assume concrete generic parameter types are needed

This extends the previous commit to assume that generic parameter types are needed, which
overapproximates what is requried, but seems likely to suffice in most cases.

Author: smowton

regression/cbmc-java/lazyloading_indirect_generic_array_parameter/test.desc

@@ -1,10 +1,7 @@
-KNOWNBUG
+CORE
 test.class
 --lazy-methods --verbosity 10 --function test.g
 ^EXIT=0$
 ^SIGNAL=0$
 elaborate java::test\.f:\(\)I
 VERIFICATION SUCCESSFUL
---
---
-See https://diffblue.atlassian.net/browse/TG-1877

regression/cbmc-java/lazyloading_multiple_generic_parameters/asserthere.class

@@ -0,0 +1,7 @@
+CORE
+test.class
+--lazy-methods --verbosity 10 --function test.g
+^EXIT=0$
+^SIGNAL=0$
+elaborate java::test\.f:\(\)I
+VERIFICATION SUCCESSFUL

regression/cbmc-java/lazyloading_multiple_generic_parameters/container.class

@@ -0,0 +1,29 @@
+
+public class test {
+
+  public int f() { return 1; }
+
+  public static void g(container<Integer, test> c) {
+
+    if(c == null)
+      return;
+    test[] args = c.test_array;
+    if(args == null || args.length != 1 || args[0] == null)
+      return;
+    asserthere.doassert(args[0].f() == 1);
+
+  }
+
+}
+
+class container<S, T> {
+  public T[] test_array;
+}
+
+class asserthere {
+
+  // Used to avoid lazy-loading currently marking any class with an
+  // $assertionsEnabled member (i.e. any class that asserts) as needed.
+  public static void doassert(boolean condition) { assert(condition); }
+
+}